„Dynamic Logic“

Suchergebnisse

1.066 Treffer

• Differential dynamic logics - automated theorem proving for hybrid systems
  Platzer, André ; Olderog, Ernst-Rüdiger 2012 IBIT - Universitätsbibliothek
• Swings Actuated by the Relative Motion of the Bead: Regular and Chaotic Dynamics
  Burov, A. A. ; Nikonov, V. I.
• Wave Dynamics in Thermoelastic Layers: A Machine Learning Approach
  Fedotenkov, G. V. ; Ershova, A. Yu ; Son, P. T.
• Mathematical Modeling of the Dynamics of Elastic Elements of Mechanical Engineering Structures which Carry Moving Distributed Loads
  Erofeev, V. I. ; Lisenkova, E. E. ; Malkhanov, A. O. ; Gerasimov, S. I.
• On games and logics over dynamically changing structures
  Rohde, Philipp
• Editorial: special issue on dynamic optimization problems
  Branke, Jürgen
• 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)
  2025 DIN Media GmbH
• Editorial: Modal Logic and Dynamic Semantics
  Venema, Yde
• Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
  Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. ˜deœ 2014 Springer Berlin Heidelberg
• 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
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
  Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
• Logical Foundations of Computer Science – International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
  Artemov, Sergei N. ; Nerode, Anil 2013 Springer Berlin Heidelberg
• Logic, Language, Information and Computation – 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  Beklemišev, Lev ; de Queiroz, Ruy 2012 Springer Berlin Heidelberg
• Graph Structures for Knowledge Representation and Reasoning – Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
  Croitoru, Madalina ; Rudolph, Sebastian ; Wilson, Nic ; Howse, John ; Corby, Olivier 2012 Springer Berlin Heidelberg
• Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
  Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg
• 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
  Larrosa, Javier ; O'Sullivan, Barry 2011 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg
• An interactive verification system based on dynamic logic
  Hähnle, R. ; Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Siekmann, Jörg H. 1986 Universität Augsburg
• Program verification using dynamic logic
  Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. 1988 Universität Augsburg