Sciweavers

4266 search results - page 10 / 854
» A Framework for Defining Logics
Sort
View
LOPSTR
2009
Springer
15 years 8 months ago
Defining Datalog in Rewriting Logic
María Alpuente, Marco A. Feliú, Chri...
ECAI
2008
Springer
15 years 5 months ago
Definability in Logic and Rough Set Theory
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
109
Voted
IGPL
2007
91views more  IGPL 2007»
15 years 3 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo
130
Voted
CORR
1999
Springer
95views Education» more  CORR 1999»
15 years 3 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe