Search Sciweavers | Sciweavers

3047 search results - page 27 / 610

» On the Meaning of Logical Completeness

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 »

Voted

SAC
2010
ACM

130views Applied Computing» more SAC 2010»

Query systems in similarity-based databases: logical foundations, expressive power, and completeness

15 years 2 months ago

Download vychodil.inf.upol.cz

Radim Belohlávek, Vilém Vychodil

claim paper

Read More »

Voted

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 1 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

click to vote

LICS
1997
IEEE

86views Automated Reasoning» more LICS 1997»

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

15 years 1 months ago

Download www.brics.dk

P. S. Thiagarajan, Igor Walukiewicz

claim paper

Read More »

Voted

ISMVL
1994
IEEE

109views Hardware» more ISMVL 1994»

Completeness Criteria in Many-Valued Set Logic under Compositions with Boolean Functions

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers