Search Sciweavers | Sciweavers

6794 search results - page 169 / 1359

» Semantics of Visual Languages

100

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

15 years 8 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

Voted

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Answer Set Programming for the Semantic Web

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

15 years 8 months ago

Download ftp.informatik.rwth-aachen.de

Michelle L. Crane

claim paper

Read More »

Voted

MODELS
2007
Springer

98views Natural Language Processing» more MODELS 2007»

Semantics Preserving Model Composition

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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers