Sciweavers

3624 search results - page 63 / 725

» Abstract Algebraic Logic

170

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

15 years 4 months ago

Logic programs with monotone abstract constraint atoms

Download www.cs.uky.edu

Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...

claim paper

Read More »

109

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

15 years 4 months ago

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

123

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

15 years 4 months ago

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

Download www.cse.unsw.edu.au

Traian-Florin Serbanuta, Grigore Rosu, José...

claim paper

Read More »

91

AML
2004

42views more AML 2004»

Definability and automorphisms in abstract logics

15 years 4 months ago

Definability and automorphisms in abstract logics

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

106

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 4 months ago

Abstract Interpretation Based Verification of Logic Programs

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

« Prev « First page 63 / 725 Last » Next »