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
3239
search results - page 40 / 648
»
A Logical Process Calculus
Sort
relevance
views
votes
recent
update
View
thumb
title
131
click to vote
WOLLIC
2007
Springer
83
views
Artificial Intelligence
»
more
WOLLIC 2007
»
Pregroup Calculus as a Logic Functor
16 years 19 days ago
Download
www.irisa.fr
Annie Foret
claim paper
Read More »
133
click to vote
TLCA
1993
Springer
85
views
Theoretical Computer Science
»
more
TLCA 1993
»
A Term Calculus for Intuitionistic Linear Logic
15 years 10 months ago
Download
www.dpmms.cam.ac.uk
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...
claim paper
Read More »
132
click to vote
DEON
2004
Springer
88
views
Automated Reasoning
»
more
DEON 2004
»
Obligation Change in Dependence Logic and Situation Calculus
15 years 10 months ago
Download
www.irit.fr
Robert Demolombe, Andreas Herzig
claim paper
Read More »
142
click to vote
CMSB
2006
Springer
105
views
Applied Computing
»
more
CMSB 2006
»
Modal Logics for Brane Calculus
15 years 10 months ago
Download
users.dimi.uniud.it
Marino Miculan, Giorgio Bacci
claim paper
Read More »
134
click to vote
DALT
2006
Springer
73
views
Intelligent Agents
»
more
DALT 2006
»
A Fibred Tableau Calculus for Modal Logics of Agents
15 years 10 months ago
Download
espace.uq.edu.au
Vineet Padmanabhan, Guido Governatori
claim paper
Read More »
« Prev
« First
page 40 / 648
Last »
Next »
