„Formal semantics“

Suchergebnisse

1.000+ Treffer

• Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
  Stüber, Sebastian 2026 Shaker
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• Formal Semantics for the Progressive of Stative and Non-Stative Verbs
  Ballweg, Joachim ; Frosch, Helmut ; Eikmeyer, Hans-Jürgen ; Rieser, Hannes 2017 Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek
• Slavic languages in formal grammar – proceedings of FDSL 8.5, Brno 2010
  Ziková, Markéta ; Dočekal, Mojmír 2012 Lang
• Investigations into Formal Slavic Linguistics – Contributions of the Fourth European Conference on Formal Description of Slavic Languages – FDSL IV. Held at Potsdam University, November 28-30, 2001. Part 1 and 2
  Kosta, Peter ; Blaszczak, Joanna ; Frasek, Jens ; Geist, Ljudmila 2003 Peter Lang GmbH, Internationaler Verlag der Wissenschaften
• Semantics in Data and Knowledge Bases – 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2011 Springer Berlin Heidelberg
• New Frontiers in Artificial Intelligence – JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
  Motomura, Yoichi ; Butler, Alastair ; Bekki, Daisuke 2015 Springer International Publishing
• Semantics in Data and Knowledge Bases – 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer Berlin Heidelberg
• Formal software engineering of distributed systems using focus-streams and automata
  Stüber, Sebastian ; Rumpe, Bernhard ; Grosu, Radu 2025 Universitätsbibliothek der RWTH Aachen
• Analyzing edits to static variability
  Bittner, Paul Maximilian 2025 Universität Ulm
• Algorithmic Cheminformatics (Dagstuhl Seminar 17452)
  Andersen, Jakob L. ; Flamm, Christoph ; Merkle, Daniel ; Stadler, Peter F.
• Semantik – Eine Einführung
  Gutzmann, Daniel 2019 J.B. Metzler
• Formalizing the semantics of sea ice
  Duerr, Ruth E. ; McCusker, Jamie P. ; Parsons, Mark A. ; Khalsa, SiriJodha Singh ; Pulsifer, Peter L. ; Thompson, Cassidy ; Yan, Rui ; McGuinness, Deborah L. ; Fox, Peter
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2010 Universitätsbibliothek Johann Christian Senckenberg
• Closures of may and must convergence for contextual equivalence
  Schmidt-Schauß, Manfred ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Counterexamples to simulation in non-deterministic call-by-need lambda-calculi with letrec
  Schmidt-Schauß, Manfred ; Machkasova, Elena ; Sabel, David 2009 Univ.-Bibliothek Frankfurt am Main
• Simulation in the call-by-need lambda-calculus with letrec
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2010 Univ.-Bibliothek Frankfurt am Main
• Reconstructing a logic for inductive proofs of properties of functional programs
  Sabel, David ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• Formal semantics of time sequence diagrams
  Facchi, Christian 1995 Inst. für Informatik
• Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
  Hameurlain, Abdelkader ; Tjoa, A Min ; Boucelma, Omar ; Toumani, Farouk 2023 Springer Berlin