Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jon Hael Brenas
C2PDLS: A Combination of Combinatory and Converse PDL With Substitutions
Related publications
And-Or Tableaux for Fixpoint Logics With Converse: LTL, CTL, PDL and CPDL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
Giant Sharp Converse Magnetoelectric Effect From the Combination of a Piezoelectric Transformer With a Piezoelectric/Magnetostrictive Laminated Composite
Applied Physics Letters
Astronomy
Physics
Axiomatization and Computability of a Variant of Iteration-Free PDL With Fork
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Iteration-Free PDL With Storing, Recovering and Parallel Composition: A Complete Axiomatization
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Combination of Amino Acid Substitutions Leading to CTX-M-15-mediated Resistance to the Ceftazidime-Avibactam Combination
Antimicrobial Agents and Chemotherapy
Infectious Diseases
Pharmacology
A Converse of the Borel Formula
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Combinatory Invariant for Function Determined on a Circle
Energy and automation
Polynomial Time Parsing of Combinatory Categorial Grammars
