Search Sciweavers | Sciweavers

4217 search results - page 81 / 844

» Computational indistinguishability logic

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

15 years 4 months ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

click to vote

TLCA
2007
Springer

154views Theoretical Computer Science» more TLCA 2007»

On a Logical Foundation for Explicit Substitutions

15 years 4 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

111

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

15 years 3 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

click to vote

ACMSE
2006
ACM

81views Theoretical Computer Science» more ACMSE 2006»

Spatial datbase feasibility for facial characterization using fuzzy logic queries

15 years 3 months ago

Download www.people.vcu.edu

James L. Mastros

claim paper

Read More »

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers