Sciweavers

481 search results - page 14 / 97

» Executing Higher Order Logic

24

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

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

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

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

claim paper

Read More »

20

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

14 years 2 months ago

Higher-Order Logic and Theorem Proving for Structured Specifications

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

30

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

14 years 2 months ago

A Logic for Reasoning with Higher-Order Abstract Syntax

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

33

SPLC
2007

91views Software Engineering» more SPLC 2007»

Reasoning about Feature Models in Higher-Order Logic

13 years 11 months ago

Reasoning about Feature Models in Higher-Order Logic

Download kind.ucd.ie

A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...

Mikolás Janota, Joseph Kiniry

claim paper

Read More »

19

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

On Higher-Order Description Logics

13 years 7 months ago

On Higher-Order Description Logics

Download web.comlab.ox.ac.uk

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...

claim paper

Read More »

« Prev « First page 14 / 97 Last » Next »