Search Sciweavers | Sciweavers

6794 search results - page 169 / 1359

» Semantics of Visual Languages

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

14 years 3 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

14 years 3 months ago

Download www.kr.tuwien.ac.at

Thomas Eiter

claim paper

Read More »

click to vote

MODELS
2007
Springer

99views Natural Language Processing» more MODELS 2007»

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

14 years 3 months ago

Download ftp.informatik.rwth-aachen.de

Michelle L. Crane

claim paper

Read More »

click to vote

MODELS
2007
Springer

98views Natural Language Processing» more MODELS 2007»

Semantics Preserving Model Composition

14 years 3 months ago

Download sunsite.informatik.rwth-aachen.de

Jon Oldevik

claim paper

Read More »

click to vote

ICLP
2005
Springer

106views Automated Reasoning» more ICLP 2005»

Denotational Semantics Using Horn Concurrent Transaction Logic

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers