search result

Cover von Logical Algorithmics

Logical Algorithmics

From Relational Queries to Boolean Reasoning (Invited Talk)
Year: 2024
Media group: LIPIcs
Cover von Logical Algorithmics

Logical Algorithmics

From Theory to Practice (Invited Talk)
Year: 2024
Media group: LIPIcs
Cover von 1993 IEEE symposium on logic in computer science
special conference issue
Search for this author
Year: 1996
Publisher: San Diego, Academic Press
Series: Information and computation : 127. 1996, 2
Media group: SPECIAL ISSUE
Cover von Logical Algorithmics

Logical Algorithmics

From Theory to Practice (Invited Talk)
Year: 2023
Media group: LIPIcs
Cover von Linear Temporal Logic

Linear Temporal Logic

From Infinite to Finite Horizon (Invited Talk)
Year: 2022
Media group: LIPIcs
Cover von The Siren Song of Temporal Synthesis (Invited Talk)

The Siren Song of Temporal Synthesis (Invited Talk)

Year: 2018
Media group: LIPIcs
Cover von Branching vs. Linear Time: Semantical Perspective

Branching vs. Linear Time: Semantical Perspective

Year: 2011
Media group: LIPIcs
Cover von Scalable Conferences; 1
Adapting computing-research conferences to the growth of the field : article p. 5
Search for this author
Year: 2014
Publisher: New York, ACM
Count: 1
Media group: ARTICLE
Cover von Constraints, Graphs, Algebra, Logic, and Complexity

Constraints, Graphs, Algebra, Logic, and Complexity

(Invited Talk)
Year: 2011
Media group: ARTICLE
Cover von ISTCS 96; 1
special issue : S. 1 - 70
Search for this author
Year: 2001
Publisher: San Diego, Academic Press
Count: 1
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0