„Dynamic Logic“
Suchergebnisse
1.066 Treffer
-
Differential dynamic logics - automated theorem proving for hybrid systems
-
Swings Actuated by the Relative Motion of the Bead: Regular and Chaotic Dynamics
-
Wave Dynamics in Thermoelastic Layers: A Machine Learning Approach
-
Mathematical Modeling of the Dynamics of Elastic Elements of Mechanical Engineering Structures which Carry Moving Distributed Loads
-
On games and logics over dynamically changing structures
-
Editorial: special issue on dynamic optimization problems
-
DIN CEN ISO/TS 22726-2, Intelligent transport systems - dynamic data and map database specification for connected and automated driving system applications. Part 2, Logical data model of dynamic data (ISO/TS 22726-2:2025) – = Intelligente Verkehrssysteme - dynamische Daten und Kartendatenbankspezifikation für verbundene und automatisierte Fahrsystemanwendungen. Teil 2, Logisches Datenmodell für dynamische Daten (ISO/TS 22726-2:2025)
-
Editorial: Modal Logic and Dynamic Semantics
-
Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
-
Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
-
Logical Foundations of Computer Science – International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
-
Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
-
Graph Structures for Knowledge Representation and Reasoning – Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
-
Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
-
Recent Advances in Constraints – 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
-
An interactive verification system based on dynamic logic
-
Program verification using dynamic logic