Searching for "Computing with Infinite Objects." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Kleene Automata And Recursion Theory
- … the introduction of a theoretical computational model on infinite objects, the !-input Turing machine, we present…
- Add To MetaCart
-
A Study Of Variants Of The Lambek Calculus And An Implementation In Prolog
- … 1992 D. Stott Parker CSD-920029 Types For Lazy Logic Programs: Computation and Infinite Objects 1…
- Add To MetaCart
-
Dual M-Sets: The Theoretical Framework and Applications
- … and D. Stott Parker. "Types For Lazy Logic Programs : Computation and Infinite Objects." Technical…
- Add To MetaCart
-
Infinite Objects In Type Theory
- …. It is this behaviour and thus the possibility of using infinite objects for computations, that we want to reproduce…
- Add To MetaCart
-
Exponential Determinization for omega-Automata with Strong-Fairness Acceptance Condition
- … but is carried out only finitely many times. Therefore, our computations are infinite objects (an infinite…
- Cited by 2 (0 self) – Add To MetaCart
-
Infinite time Turing machines
- …-recursion, a huge, deep body of work analyzing an abstract notion of computation on infinite objects (see Sacks…
- Cited by 47 (4 self) – Add To MetaCart
-
Combining Lazy Narrowing with Disequality Constraints
- … with the ability of computing with infinite objects defined as limits of finite approximations. En each instance…
- Cited by 14 (2 self) – Add To MetaCart
-
Artificial Intelligence A Calculator for Exact Real Number
- … signed digit representation, as does Wiedmer [33] when he discusses computation with infinite objects…
- Add To MetaCart
-
Extending Temporal Logic Programming with Choice Predicates Non-determinism
- … logic of Chronolog. We also show how non-terminating computations and infinite objects such as streams…
- Cited by 5 (3 self) – Add To MetaCart
-
Some Theoretical Problems In Effective Differential Algebra And Their Relation To Control Theory
- … computation. But for infinite objects, it may often be difficult, or even impossible to go from one…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
