Search Sciweavers | Sciweavers

8196 search results - page 87 / 1640

» Computational Modeling and Complexity Science

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

15 years 3 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

click to vote

ITICSE
2005
ACM

78views Theoretical Computer Science» more ITICSE 2005»

Teaching data modeling: process and patterns

15 years 3 months ago

Download www.cs.uwec.edu

Paul Wagner

claim paper

Read More »

Voted

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

15 years 3 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

click to vote

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

15 years 3 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

click to vote

EDBT
2000
ACM

74views Computer Science» more EDBT 2000»

A Graph-Oriented Model for Articulation of Ontology Interdependencies

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers