Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4266
search results - page 10 / 854
»
A Framework for Defining Logics
Sort
relevance
views
votes
recent
update
View
thumb
title
124
click to vote
LOPSTR
2009
Springer
225
views
Automated Reasoning
»
more
LOPSTR 2009
»
Defining Datalog in Rewriting Logic
15 years 8 months ago
Download
users.dsic.upv.es
María Alpuente, Marco A. Feliú, Chri...
claim paper
Read More »
64
click to vote
ECAI
2008
Springer
82
views
Artificial Intelligence
»
more
ECAI 2008
»
Definability in Logic and Rough Set Theory
15 years 5 months ago
Download
aao.sinica.edu.tw
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
claim paper
Read More »
109
Voted
IGPL
2007
91
views
more
IGPL 2007
»
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
15 years 3 months ago
Download
www2.imm.dtu.dk
Valentin Goranko, Alberto Zanardo
claim paper
Read More »
84
click to vote
AML
2004
42
views
more
AML 2004
»
Definability and automorphisms in abstract logics
15 years 3 months ago
Download
intramath.uniandes.edu.co
Xavier Caicedo
claim paper
Read More »
130
Voted
CORR
1999
Springer
95
views
Education
»
more
CORR 1999
»
Fixed-parameter tractability, definability, and model checking
15 years 3 months ago
Download
www2.informatik.hu-berlin.de
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
claim paper
Read More »
« Prev
« First
page 10 / 854
Last »
Next »