|
|
LPAR-21S: Author IndexAuthor | Papers |
---|
A | Apt, Krzysztof | Decidability of Fair Termination of Gossip Protocols | B | Benzmüller, Christoph | Leo-III Version 1.1 (System description) Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems | Bjorner, Nikolaj | Abduction by Non-Experts | J | Jamnik, Mateja | Reasoning with Concept Diagrams about Antipatterns | Jovanović, Dejan | Abduction by Non-Experts | K | Korovin, Konstantin | Towards an Abstraction-Refinement Framework for Reasoning with Large Theories | L | Lepoint, Tancrède | Abduction by Non-Experts | Lopez Hernandez, Julio Cesar | Towards an Abstraction-Refinement Framework for Reasoning with Large Theories | R | Reger, Giles | Set of Support for Theory Reasoning | Rümmer, Philipp | Abduction by Non-Experts | S | Saarikivi, Olli | Translating C# to Branching Symbolic Transducers | Sato, Yuri | Reasoning with Concept Diagrams about Antipatterns | Schurr, Hans-Jörg | Capability Discovery for Automated Reasoning Systems | Schäf, Martin | Abduction by Non-Experts | Shams, Zohreh | Reasoning with Concept Diagrams about Antipatterns | Singh, Abhishek Kr | Formalization of some central theorems in combinatorics of finite sets | Stapleton, Gem | Reasoning with Concept Diagrams about Antipatterns | Steen, Alexander | Leo-III Version 1.1 (System description) Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems | Suda, Martin | Set of Support for Theory Reasoning | T | Toman, David | An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report) | V | Veanes, Margus | Translating C# to Branching Symbolic Transducers | W | Weddell, Grant | An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report) | Wisniewski, Max | Leo-III Version 1.1 (System description) Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems | Wojtczak, Dominik | Decidability of Fair Termination of Gossip Protocols |
|
|
|