search result

Cover von QRP+Gen

QRP+Gen

A Framework for Checking Q-Resolution Proofs with Generalized Axioms
Year: 2025
Media group: LIPIcs
Cover von Compiler Design
Virtual Machines
Author: Wilhelm, Reinhard; Seidl, Helmut Search for this author
Year: 2010
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Band 1.; Virtuelle Maschinen
Author: Wilhelm, Reinhard; Seidl, Helmut Search for this author
Year: 2007
Publisher: Berlin, Springer
Übersetzerbau
Volume: Band 1.
Series: eXamen.press
Media group: MONOGRAPHIE
Cover von Übersetzerbau

Übersetzerbau

Berlin, Springer
Media group: MONOGRAPHIE
Volumes loading
Cover von QMusExt

QMusExt

A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas
Year: 2023
Media group: LIPIcs
Cover von Proceedings of the 
2022 Joint Workshop of the German Research Training Groups in Computer Science
June 12 - June 15, 2022, Schloss Dagstuhl
Search for this author
Year: 2022
Publisher: Bonn, DFG
Media group: OPENACCESS
Cover von When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?

Year: 2020
Media group: LIPIcs
Cover von Theory and Applications of Satisfiability Testing
SAT 2020 : 23rd International Conference, Alghero, Italy, July 3 - 10, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12178
Media group: MONOGRAPHIE
Cover von Software Technologies
Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17 - 21, 2017, Revised Selected Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10748
Media group: MONOGRAPHIE
Cover von Similarity Search and Applications
10th International Conference, SISAP 2017, Munich, Germany, October 4 - 6, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10609
Media group: MONOGRAPHIE
OPEN V 11.1.0.0