Search Sciweavers | Sciweavers

31387 search results - page 312 / 6278

» Abstracts

click to vote

ENTCS
2006

100views more ENTCS 2006»

Adding Recursion to Dpi: (Extended Abstract)

15 years 6 months ago

Download www.scss.tcd.ie

Samuel Hym, Matthew Hennessy

claim paper

Read More »

114

click to vote

ENTCS
2006

104views more ENTCS 2006»

Abstract Graph Transformation

15 years 6 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink, Dino Distefano

claim paper

Read More »

128

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 6 months ago

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...

claim paper

Read More »

171

click to vote

FUIN
2006

93views more FUIN 2006»

Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers

15 years 6 months ago

Download hal.archives-ouvertes.fr

geometrical computation 1 : embedding Black hole computations with rational numbers J

Jérôme Durand-Lose

claim paper

Read More »

103

click to vote

INFORMATICALT
2008

101views more INFORMATICALT 2008»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers