Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Loading…
Loading…
Model Checking Value-Passing Modal Specifications
ter Beek, Maurice H., Gnesi, Stefania, Mazzanti, Franco
Published in Perspectives of System Informatics (2015)
Published in Perspectives of System Informatics (2015)
Get full text
Book Chapter
Loading…
Loading…
A Framework for Defining Logical Frameworks
Honsell, Furio, Lenisa, Marina, Liquori, Luigi
Published in Electronic notes in theoretical computer science (01.04.2007)
Published in Electronic notes in theoretical computer science (01.04.2007)
Get full text
Journal Article
Loading…
Loading…
Certain Verbs Are Syntactically Explicit Quantifiers
Szabolcsi, Anna
Published in Baltic International Yearbook of Cognition, Logic and Communication (01.01.2010)
Published in Baltic International Yearbook of Cognition, Logic and Communication (01.01.2010)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…