Search Sciweavers | Sciweavers

11397 search results - page 18 / 2280

» A Relational Abstraction for Functions

Voted

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

15 years 2 months ago

Download plg.uwaterloo.ca

R. Ian Bull, Andrew Trevors, Andrew J. Malton, Mic...

claim paper

Read More »

Voted

WADT
1999
Springer

90views Software Engineering» more WADT 1999»

Relating Abstract Datatypes and Z-Schemata

15 years 1 months ago

Download www.pst.informatik.uni-muenchen.de

Hubert Baumeister

claim paper

Read More »

click to vote

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

15 years 1 months ago

Download www.kurims.kyoto-u.ac.jp

Kurt Sieber

claim paper

Read More »

click to vote

HYBRID
2007
Springer

122views Control Systems» more HYBRID 2007»

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

15 years 1 months ago

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

click to vote

COMMA
2006

123views Applied Computing» more COMMA 2006»

On Acceptability in Abstract Argumentation Frameworks with an Extended Defeat Relation

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers