Search Sciweavers | Sciweavers

205 search results - page 12 / 41

» Higher-Order Coalition Logic

click to vote

ESOP
2005
Springer

159views Programming Languages» more ESOP 2005»

BI Hyperdoctrines and Higher-Order Separation Logic

14 years 3 months ago

Download www.itu.dk

Bodil Biering, Lars Birkedal, Noah Torp-Smith

claim paper

Read More »

click to vote

AISC
2004
Springer

97views Artificial Intelligence» more AISC 2004»

A Paraconsistent Higher Order Logic

14 years 3 months ago

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

14 years 3 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

14 years 2 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

click to vote

TPHOL
1998
IEEE

96views Automated Reasoning» more TPHOL 1998»

Free Variables and Subexpressions in Higher-Order Meta Logic

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers