Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,026,585 papers from all fields of science
Search
Sign In
Create Free Account
Admissible numbering
Known as:
Programming system
, Rogers equivalence theorem
, Acceptable numbering
Expand
In computability theory, the admissible numberings are enumerations (numberings) of the set of partial computable functions that can be converted to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Broader (2)
Computability theory
Theory of computation
Friedberg numbering
Kleene's T predicate
Kleene's recursion theorem
Numbering (computability theory)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2003
Review
2003
Stampede: A Cluster Programming Middleware for Interactive Stream-Oriented Applications
U. Ramachandran
,
R. Nikhil
,
+6 authors
K. Knobe
IEEE Trans. Parallel Distributed Syst.
2003
Corpus ID: 5563389
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable…
Expand
2002
2002
Execution and description of dexterous hand task by using multi-finger dual robot hand system - realization of Japanese sign language
H. Sugiuchi
,
T. Morino
,
M. Terauchi
Proceedings of the IEEE Internatinal Symposium on…
2002
Corpus ID: 195704877
A multi-fingered dual robot hand and its control and programming system, e.g. the state action event network (SAEN), have been…
Expand
1994
1994
The Charm Parallel Programming Language and System: Part I - Description of Language Features
L. Kalé
,
B. Ramkumar
,
Amitabh Sinha
,
A. Gursoy
1994
Corpus ID: 18962666
A load cell has a ring shaped deformation element with a triangular cross section, the apex of the cross section extending…
Expand
Review
1989
Review
1989
Knowledge Programming in Loops: Report on an Experimental Course
M. Stefik
,
D. Bobrow
,
S. Mittal
,
L. Conway
The AI Magazine
1989
Corpus ID: 2712977
Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops During the course, they…
Expand
1986
1986
GARDEN Tools: Support fpr Graphical Programming
S. Reiss
Advanced Programming Environments
1986
Corpus ID: 42016290
This paper describes the programming tools provided by the GARDEN system developed at Brown University. GARDEN is an environment…
Expand
Highly Cited
1978
Highly Cited
1978
Automatic Analysis of the Logical Structure of Programs
R. Waters
1978
Corpus ID: 60954216
Abstract : This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that…
Expand
1977
1977
A Summary of the PSI Program Synthesis System
C. Green
International Joint Conference on Artificial…
1977
Corpus ID: 26263841
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…
Expand
Highly Cited
1974
Highly Cited
1974
AL, a programming system for automation.
R. Finkel
,
R. Taylor
,
R. Bolles
,
R. Paul
,
J. Feldman
1974
Corpus ID: 58790015
AL is a high-level programming system for specification of manipulatory tasks such as assembly of an object from parts. AL…
Expand
1974
1974
COPILOT: a multiple process approach to interactive programming systems
D. C. Swinehart
1974
Corpus ID: 60611912
Abstract : The addition of multiple processing facilities to a language used in an interactive computing environment requires new…
Expand
1972
1972
An integer programming approach to a class of combinatorial problems
E. Beale
,
J. Tomlin
Mathematical programming
1972
Corpus ID: 43021502
In this paper, we discuss the solution of a class of modified quadratic assignment problems, with particular reference to an…
Expand