Sciweavers

3515 search results - page 103 / 703

» On the semantics of Strategy Logic

154

JANCL
2008

60views more JANCL 2008»

Possible-translations semantics for some weak classically-based paraconsistent logics

15 years 7 months ago

Possible-translations semantics for some weak classically-based paraconsistent logics

Download www.math.ist.utl.pt

J. Marcos

claim paper

Read More »

91

ENTCS
2007

100views more ENTCS 2007»

Concurrent Logic and Automata Combined: A Semantics for Components

15 years 7 months ago

Concurrent Logic and Automata Combined: A Semantics for Components

Download www.computing.surrey.ac.uk

Juliana Küster Filipe, Sotiris Moschoyiannis

claim paper

Read More »

138

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 7 months ago

Equivalence of Two Formal Semantics for Functional Logic Programs

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

150

ENTCS
2007

95views more ENTCS 2007»

A Rewriting Logic Approach to Operational Semantics (Extended Abstract)

15 years 7 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 »

148

Voted

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

15 years 7 months ago

Denotational semantics for a program logic of objects

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

« Prev « First page 103 / 703 Last » Next »