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
4217
search results - page 85 / 844
»
Computational indistinguishability logic
Sort
relevance
views
votes
recent
update
View
thumb
title
107
click to vote
CONCUR
1990
Springer
65
views
Distributed And Parallel Com...
»
more
CONCUR 1990
»
An Axiomatization of Lamport's Temporal Logic of Actions
15 years 10 months ago
Download
www.hpl.hp.com
Martín Abadi
claim paper
Read More »
140
click to vote
AINA
2004
IEEE
106
views
Computer Networks
»
more
AINA 2004
»
Distributed Logic Programming using Mobile Agents
15 years 10 months ago
Download
www.doc.ic.ac.uk
Tzone I. Wang, Keith L. Clark
claim paper
Read More »
141
click to vote
CONCUR
2004
Springer
87
views
Distributed And Parallel Com...
»
more
CONCUR 2004
»
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
15 years 10 months ago
Download
www.it.uu.se
Luís Caires, Étienne Lozes
claim paper
Read More »
134
click to vote
BIRTHDAY
2006
Springer
94
views
Applied Computing
»
more
BIRTHDAY 2006
»
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic
15 years 10 months ago
Download
intramath.uniandes.edu.co
Xavier Caicedo
claim paper
Read More »
138
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 »
« Prev
« First
page 85 / 844
Last »
Next »
