Search Sciweavers | Sciweavers

7049 search results - page 17 / 1410

» Data Abstraction for CSP-OZ

click to vote

INFORMATICALT
2008

101views more INFORMATICALT 2008»

Formal and Practical Aspects of Implementing Abstract Data Types in the Prolog Instruction

13 years 7 months ago

Download www.mii.lt

Bruria Haberman

claim paper

Read More »

click to vote

JSAT
2007

95views more JSAT 2007»

An Abstract Decision Procedure for a Theory of Inductive Data Types

13 years 7 months ago

Download jsat.ewi.tudelft.nl

Clark Barrett, Igor Shikanian, Cesare Tinelli

claim paper

Read More »

click to vote

INFSOF
2000

62views more INFSOF 2000»

A data abstraction approach for query relaxation

13 years 7 months ago

Download cis.kaist.ac.kr

S.-Y. Huh, K.-H. Moon, H. Lee

claim paper

Read More »

click to vote

JPDC
1998

62views more JPDC 1998»

Toward a Model for Shared Data Abstraction with Performance

13 years 7 months ago

Download www.simondobson.org

Don Goodeve, Simon A. Dobson, Jonathan M. Nash, Jo...

claim paper

Read More »

click to vote

CORR
2010
Springer

46views Education» more CORR 2010»

Limits of Commutativity on Abstract Data Types

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers