search result

Cover von 16th annual symposium on logic in computer science 2001; 3
special issue : S. 295-415
Search for this author
Year: 2003
Publisher: New York, ACM
Count: 3
Media group: SPECIAL ISSUE
Cover von Preservation Theorems in Semiring Semantics

Preservation Theorems in Semiring Semantics

Year: 2026
Media group: LIPIcs
Cover von Symmetric Proofs in the Ideal Proof System

Symmetric Proofs in the Ideal Proof System

Year: 2025
Media group: LIPIcs
Cover von Semiring Provenance in the Infinite

Semiring Provenance in the Infinite

Year: 2024
Media group: LIPIcs
Cover von Ehrenfeucht-Fraïssé Games in Semiring Semantics

Ehrenfeucht-Fraïssé Games in Semiring Semantics

Year: 2024
Media group: LIPIcs
Cover von The classical decision problem
Author: Börger, Egon; Grädel, Erich; Gurevich, Yuri Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Perspectives in mathematical logic
Media group: MONOGRAPHIE
Cover von Logic and Random Discrete Structures; 2
pp. 1-16
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Semiring Provenance for Fixed-Point Logic

Semiring Provenance for Fixed-Point Logic

Year: 2021
Media group: LIPIcs
Cover von Logics for Dependence and Independence; 1
pp. 28-46
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von Finite and Algorithmic Model Theory; 9
pp. 1-25
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0