Sciweavers

4516 search results - page 19 / 904

» Semantic Web and Education

34

CORR
2006
Springer

88views Education» more CORR 2006»

A Constructive Semantic Characterization of Aggregates in ASP

14 years 10 months ago

A Constructive Semantic Characterization of Aggregates in ASP

Download www.cs.nmsu.edu

Tran Cao Son, Enrico Pontelli

claim paper

Read More »

31

CORR
2006
Springer

103views Education» more CORR 2006»

Semantics and Complexity of SPARQL

14 years 10 months ago

Semantics and Complexity of SPARQL

Download web.ing.puc.cl

Jorge Pérez, Marcelo Arenas, Claudio Gutier...

claim paper

Read More »

55

CORR
2007
Springer

101views Education» more CORR 2007»

Curry-style type Isomorphisms and Game Semantics

14 years 10 months ago

Curry-style type Isomorphisms and Game Semantics

Download www.pps.jussieu.fr

Joachim De Lataillade

claim paper

Read More »

47

CORR
2000
Springer

58views Education» more CORR 2000»

On the semantics of merging

14 years 10 months ago

On the semantics of merging

Download www.dsl.uow.edu.au

Thomas Andreas Meyer

claim paper

Read More »

56

CORR
2002
Springer

96views Education» more CORR 2002»

Precongruence Formats for Decorated Trace Semantics

14 years 10 months ago

Precongruence Formats for Decorated Trace Semantics

Download www.cs.vu.nl

Bard Bloom, Wan Fokkink, Rob J. van Glabbeek

claim paper

Read More »

« Prev « First page 19 / 904 Last » Next »