Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland University

Source URL: ceur-ws.org

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles Mark Kaminski and Gert Smolka Saarland University, Saarbr¨ ucken, Germany

Source URL: ceur-ws.org

A Fast Compiler for NetKAT Steffen Smolka Nate Foster Arjun Guha

Source URL: www.cs.cornell.edu

A Fast Compiler for NetKAT ∗ Steffen Smolka Spiridon Eliopoulos † Nate Foster

Source URL: www.cs.cornell.edu

A Process-Algebraic Language for Probabilistic I/O Automata? Eugene W. Stark, Rance Cleaveland, Scott A. Smolka?? Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NYUSA

Source URL: bsd7.cs.sunysb.edu

PAINEL 1: UMA VISÃO GERAL DO IPTU MARTIM SMOLKA José Roberto Afonso www.lincolninst.edu

Source URL: www.abrasf.org.br

J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka ·

Source URL: people.mpi-inf.mpg.de

• Logic
• Mathematical logic
• Automated theorem proving
• Mathematics
• Mathematical proofs
• Proof assistants
• Logical truth
• Proof theory
• Isabelle
• First-order logic
• Automated reasoning
• Theorem

Adaptive Runtime Verification Radu Grosu Vienna University of Technology in collaboration with: Ezio Bartocci, Scott A. Smolka, Scott D. Stoller,

Source URL: rv2012.ku.edu.tr

• Logic in computer science
• Runtime verification
• Succ
• Smolka

Equivalence of System F and λ2: A Case Study of Context Morphisms — Extended Abstract — Jonas Kaiser, Tobias Tebbi, and Gert Smolka

Source URL: www.ps.uni-saarland.de

Tanja Mühling · Adelheid Smolka Wie informieren sich bayerische Eltern über erziehungs- und familienbezogene Themen? Ergebnisse der ifb-Elternbefragung

Source URL: www.ifb.bayern.de