Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rolf Hennicker
Dynamic Logic With Binders and Its Application to the Development of Reactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Assembly Theories for Communication-Safe Component Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Invertibility of Dynamic Systems With Application to Control
Application of Fuzzy Logic to Cognitive Radio Systems
IEICE Transactions on Communications
Computer Networks
Electronic Engineering
Software
Electrical
Communications
Development of Honeycomb Methanation Catalyst and Its Application in Power to Gas Systems
Energies
Control
Electronic Engineering
Energy Engineering
Renewable Energy
Energy
Fuel Technology
Sustainability
Optimization
Electrical
Power Technology
the Environment
Erratum To: Extension of a Decision Procedure for a Fragment of Hybrid Logic With Binders
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proof Procedure for Hybrid Logic With Binders, Transitivity and Relation Hierarchies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Contributions of Dynamic Systems Theory to Cognitive Development
Cognitive Development
Developmental
Experimental
Educational Psychology
Cognitive Psychology
Dynamic Systems, Process and Development
Human Development
Developmental
Educational Psychology
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
