Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu dependence logic!
Hier klicken für Ihr Exposé |
Johannes Ebbing
Complexity of Model Checking for Modal Dependence Logic Johannes Ebbing, Peter Lohmann January 30, 2012 Modal dependence logic (MDL) was introduced recently …
E. Grädel
[8] E. Grädel, Model-checking games for logics of incomplete information. Submitted for publication,. 2012. [9] E. Grädel and J.Väänänen, Dependence and.
Julian-Steffen Müller
"Modal Independence Logic" auf der AiML 2014. 20. 05. 14. Die Arbeit "Modal Independence Logic" von Juha Kontinen, Julian-Steffen Müller, Henning Schnoor ...
Fan Yang
Fan Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited, Proceedings of the 23rd Workshop on Logic, Language, ...
Fredrik Engström
[1103.0396] Generalized quantifiers in Dependence Logic: Submission history. From: Fredrik Engström [view email] [v1] Wed, 2 Mar 2011 11:10:26 GMT (16kb) [v2] …
Heribert Vollmer
Arnaud Durand, Johannes Ebbing, Juha Kontinen & Heribert Vollmer (2015). Dependence Logic with a Majority Quantifier. Journal of Logic, Language and ...
Andreas Lochbihler
Theorem Proving in Higher Order Logics: 21st International Conference…: … a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/ HOL …
Gianluca Paolini
(In)dependence Logic in Model Theory. Gianluca Paolini. Department of Mathematics and Statistics. University of Helsinki. 5 March 2014. Gianluca Paolini (UH).
Matthias Hoelzel
MGI - Seminar Logic, Complexity, Games: Logics of Dependence and…: Seminar Logic, Complexity, Games: Logics of Dependence and Independence … Matthias Hoelzel …
Kristine Harjes
Functional Dependence in Strategic Games (extended abstract). Authors: Kristine Harjes, Pavel Naumov. Publication date (Created): 2013-03- ..., logic
Eberhard Zehendner
Searching for phrase dependence analysis … Wolfram Amme, Peter Braun, Eberhard Zehendner, François Thomasset: Data Dependence Analysis of Assembly Code. …
Ack To Nature
As you may have heard, the Ack Nature'\;s Services: Societal Dependence on. Natural Ecosystems and I are putting our beloved Herohill out to pasture., logic
Gregor Svindland
Corrigendum to "An order-theoretic analysis of interpretations among propositional deductive systems" [Ann. Pure Appl. Logic 164 (2) … Josef Berger, Gregor …
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ