Sciweavers

6794 search results - page 169 / 1359

» Semantics of Visual Languages

104

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

15 years 9 months ago

A Fully Abstract Trace Semantics for General References

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

97

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

15 years 9 months ago

Answer Set Programming for the Semantic Web

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

83

MODELS
2007
Springer

99views Natural Language Processing» more MODELS 2007»

Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification

15 years 9 months ago

Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification

Download ftp.informatik.rwth-aachen.de

Michelle L. Crane

claim paper

Read More »

89

MODELS
2007
Springer

98views Natural Language Processing» more MODELS 2007»

Semantics Preserving Model Composition

15 years 9 months ago

Semantics Preserving Model Composition

Download sunsite.informatik.rwth-aachen.de

Jon Oldevik

claim paper

Read More »

97

Voted

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

15 years 8 months ago

Denotational Semantics Using Horn Concurrent Transaction Logic

Download www.scs.ryerson.ca

Marcus Vinicius Santos

claim paper

Read More »

« Prev « First page 169 / 1359 Last » Next »