Search Sciweavers | Sciweavers

11 search results - page 1 / 3

» ershov 2001

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 8 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

104

click to vote

ERSHOV
2001
Springer

98views Theoretical Computer Science» more ERSHOV 2001»

Binding-Time Analysis for Polymorphic Types

15 years 8 months ago

Download repository.readscheme.org

Rogardt Heldal, John Hughes

claim paper

Read More »

108

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 8 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

Voted

ERSHOV
2001
Springer

132views Theoretical Computer Science» more ERSHOV 2001»

A Theoretical Foundation of Program Synthesis by Equivalent Transformation

15 years 8 months ago

Download assam.cims.hokudai.ac.jp

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

83views Theoretical Computer Science» more ERSHOV 2001»

Equivalent Transformation by Safe Extension of Data Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers