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
2272
search results - page 143 / 455
»
A Calculus for
Sort
relevance
views
votes
recent
update
View
thumb
title
148
click to vote
CTCS
1997
Springer
185
views
Programming Languages
»
more
CTCS 1997
»
Presheaf Models for the pi-Calculus
15 years 8 months ago
Download
homepages.inf.ed.ac.uk
Gian Luca Cattani, Ian Stark, Glynn Winskel
claim paper
Read More »
117
click to vote
LICS
1996
IEEE
121
views
Automated Reasoning
»
more
LICS 1996
»
A Fully Abstract Domain Model for the pi-Calculus
15 years 8 months ago
Download
homepages.inf.ed.ac.uk
Ian Stark
claim paper
Read More »
93
click to vote
IWANN
1997
Springer
97
views
Neural Networks
»
more
IWANN 1997
»
Lower Bounds of Computational Power of a Synaptic Calculus
15 years 8 months ago
Download
homepages.di.fc.ul.pt
João Pedro Guerreiro Neto, José F&ea...
claim paper
Read More »
141
click to vote
POPL
1996
ACM
126
views
Programming Languages
»
more
POPL 1996
»
The Reflexive CHAM and the Join-Calculus
15 years 8 months ago
Download
www-sop.inria.fr
Cédric Fournet, Georges Gonthier
claim paper
Read More »
111
click to vote
APL
1993
ACM
77
views
Software Engineering
»
more
APL 1993
»
Point-Wise Calculus
15 years 8 months ago
Download
www.sci.usq.edu.au
Walter G. Spunde
claim paper
Read More »
« Prev
« First
page 143 / 455
Last »
Next »