Sciweavers

4266 search results - page 10 / 854
» A Framework for Defining Logics
Sort
View
181
Voted
LOPSTR
2009
Springer
15 years 12 months ago
Defining Datalog in Rewriting Logic
María Alpuente, Marco A. Feliú, Chri...
ECAI
2008
Springer
15 years 9 months ago
Definability in Logic and Rough Set Theory
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
163
Voted
IGPL
2007
91views more  IGPL 2007»
15 years 7 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo
131
Voted
AML
2004
42views more  AML 2004»
15 years 7 months ago
Definability and automorphisms in abstract logics
Xavier Caicedo
201
Voted
CORR
1999
Springer
95views Education» more  CORR 1999»
15 years 7 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