search result

Cover von 11th annual ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
June 2 - 4, 1992
Search for this author
Year: 1997
Publisher: San Diego, Academic Press
Series: Journal of computer and system sciences : 54. 1997, 1
Media group: SPECIAL ISSUE
Cover von Theoretical aspects of reasoning about knowledge
proceedings of the fifth conference
Search for this author
Year: 1994
Publisher: San Francisco, Morgan Kaufmann
Media group: MONOGRAPHIE
Cover von Special issue on STOC 1999; 1
S. 1-167
Search for this author
Year: 2002
Publisher: Boston, Academic Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Expressive Power of Entity-Linking Frameworks

Expressive Power of Entity-Linking Frameworks

Year: 2017
Media group: LIPIcs
Cover von A Declarative Framework for Linking Entities

A Declarative Framework for Linking Entities

Year: 2015
Media group: LIPIcs
Cover von On the Number of Quantifiers as a Complexity Measure

On the Number of Quantifiers as a Complexity Measure

Year: 2022
Media group: LIPIcs
Cover von Reasoning about knowledge
Search for this author
Year: 2003
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von On the Number of Quantifiers Needed to Define Boolean Functions

On the Number of Quantifiers Needed to Define Boolean Functions

Author: Sengupta, Rik
Year: 2024
Media group: LIPIcs
Cover von Recursive Programs for Document Spanners

Recursive Programs for Document Spanners

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0