search result

Cover von On Synthesizing Computable Skolem Functions for First Order Logic

On Synthesizing Computable Skolem Functions for First Order Logic

Year: 2022
Media group: LIPIcs
Cover von Verified Software
Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13 - 14, 2019, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12031
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3 - 6, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7561
Media group: MONOGRAPHIE
Cover von IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
December 12 - 14, 2011, Mumbai, India
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 13
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2024
Media group: LIPIcs
Cover von LIPIcs, Volume 305, SAT 2024, Complete Volume

LIPIcs, Volume 305, SAT 2024, Complete Volume

Year: 2024
Media group: LIPIcs
Cover von 27th International Conference on Theory and Applications of Satisfiability Testing
SAT 2024, August 21-24, 2024, Pune, India
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 305
Media group: LIPIcs
Cover von Proof Systems for QBF Synthesis

Proof Systems for QBF Synthesis

Extracting Skolem and Herbrand Functions
Year: 2026
Media group: LIPIcs
Cover von On Petri Nets with Hierarchical Special Arcs

On Petri Nets with Hierarchical Special Arcs

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0