Search Sciweavers | Sciweavers

4217 search results - page 122 / 844

» Computational indistinguishability logic

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

15 years 4 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

88views Artificial Intelligence» more WOLLIC 2009»

Mathematical Logic for Life Science Ontologies

15 years 4 months ago

Download lc2009.fmi.uni-sofia.bg

Carsten Lutz, Frank Wolter

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

117views Artificial Intelligence» more WOLLIC 2009»

Knowledge, Time, and Logical Omniscience

15 years 4 months ago

Download math.gc.cuny.edu

Ren-June Wang

claim paper

Read More »

click to vote

ERSHOV
2009
Springer

121views Theoretical Computer Science» more ERSHOV 2009»

A Query Language for Logic Architectures

15 years 4 months ago

Download www.isu.ru

Anton Malykh, Andrei Mantsivoda

claim paper

Read More »

click to vote

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers