Dynamic Logic With Binders and Its Application to the Development of Reactive Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-46750-4_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

The Invertibility of Dynamic Systems With Application to Control

1963English

Application of Fuzzy Logic to Cognitive Radio Systems

IEICE Transactions on Communications
Computer NetworksElectronic EngineeringSoftwareElectricalCommunications
2009English

Development of Honeycomb Methanation Catalyst and Its Application in Power to Gas Systems

Energies
ControlElectronic EngineeringEnergy EngineeringRenewable EnergyEnergyFuel TechnologySustainabilityOptimizationElectricalPower Technologythe Environment
2018English

Erratum To: Extension of a Decision Procedure for a Fragment of Hybrid Logic With Binders

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

A Relational Trace Logic for Vector Addition Systems With Application to Context-Freeness

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Proof Procedure for Hybrid Logic With Binders, Transitivity and Relation Hierarchies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Contributions of Dynamic Systems Theory to Cognitive Development

Cognitive Development
DevelopmentalExperimentalEducational PsychologyCognitive Psychology
2012English

Dynamic Systems, Process and Development

Human Development
DevelopmentalEducational Psychology
2019English

Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy