Sciweavers

2540 search results - page 31 / 508

» Abstract Logics as Dialgebras

30

JUCS
2008

159views more JUCS 2008»

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

13 years 10 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 »

24

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

13 years 10 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 »

23

MLQ
2006

72views more MLQ 2006»

Categorical abstract algebraic logic: The largest theory system included in a theory family

13 years 10 months ago

Categorical abstract algebraic logic: The largest theory system included in a theory family

Download voutsadakis.com

George Voutsadakis

claim paper

Read More »

20

AML
2004

42views more AML 2004»

Definability and automorphisms in abstract logics

13 years 10 months ago

Definability and automorphisms in abstract logics

Download intramath.uniandes.edu.co

Xavier Caicedo

claim paper

Read More »

23

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

13 years 10 months ago

Abstract Interpretation Based Verification of Logic Programs

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

« Prev « First page 31 / 508 Last » Next »