Search Sciweavers | Sciweavers

3319 search results - page 11 / 664

» Subshifts, Languages and Logic

click to vote

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 7 months ago

Download users.soe.ucsc.edu

Bruno Blanchet, Martín Abadi

claim paper

Read More »

101

click to vote

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

14 years 7 months ago

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

click to vote

PADL
2007
Springer

131views Programming Languages» more PADL 2007»

Inductive Logic Programming by Instance Patterns

14 years 1 months ago

Download www.cs.nmsu.edu

Chongbing Liu, Enrico Pontelli

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

14 years 1 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers