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
3053
search results - page 57 / 611
»
A Logic of Abstract Argumentation
Sort
relevance
views
votes
recent
update
View
thumb
title
148
click to vote
ACS
2006
124
views
Distributed And Parallel Com...
»
more
ACS 2006
»
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
15 years 6 months ago
Download
voutsadakis.com
George Voutsadakis
claim paper
Read More »
200
click to vote
CORR
2006
Springer
126
views
Education
»
more
CORR 2006
»
Logic programs with monotone abstract constraint atoms
15 years 6 months ago
Download
www.cs.uky.edu
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
claim paper
Read More »
126
click to vote
JUCS
2008
159
views
more
JUCS 2008
»
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
15 years 6 months ago
Download
www.jucs.org
Anatol Slissenko, Pavel Vasilyev
claim paper
Read More »
140
click to vote
ENTCS
2007
95
views
more
ENTCS 2007
»
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
15 years 6 months ago
Download
www.cse.unsw.edu.au
Traian-Florin Serbanuta, Grigore Rosu, José...
claim paper
Read More »
110
click to vote
MLQ
2006
72
views
more
MLQ 2006
»
Categorical abstract algebraic logic: The largest theory system included in a theory family
15 years 6 months ago
Download
voutsadakis.com
George Voutsadakis
claim paper
Read More »
« Prev
« First
page 57 / 611
Last »
Next »
