search result

Cover von Logics for Dependence and Independence; 6
pp. 70-85
Search for this author
Year: 2016
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von Definability of linear equation systems over groups and rings

Definability of linear equation systems over groups and rings

Year: 2012
Media group: ARTICLE
Cover von Finite model theory, databases, and computer-aided verification
03.10.1999 - 08.10.1999 (99401)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 253
Media group: DAGSTUHL-SEMINAR-REP
Cover von Compactness in Semiring Semantics

Compactness in Semiring Semantics

Year: 2026
Media group: LIPIcs
Cover von Finite model theory and its applications
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
OPEN V 11.1.0.0