Amanote Research
Register
Sign In
C2PDLS: A Combination of Combinatory and Converse PDL With Substitutions
doi 10.29007/gwcz
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Jon Hael Brenas
Rachid Echahed
Martin Strecker
Publisher
EasyChair
Related search
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
