Search Sciweavers | Sciweavers

4217 search results - page 124 / 844

» Computational indistinguishability logic

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

15 years 4 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

15 years 4 months ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

83views Artificial Intelligence» more WOLLIC 2007»

Pregroup Calculus as a Logic Functor

15 years 4 months ago

Download www.irisa.fr

Annie Foret

claim paper

Read More »

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

15 years 4 months ago

Download www.easychair.org

Andreas Blass

claim paper

Read More »

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers