Showing
1 - 5
results of
5
for search '
'
Skip to content
CAVAL Home
Start Over
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
All Fields
Title
Author
Subject
ISBN/ISSN
Barcode
Find
Advanced
Reset Filters
Suggested Topics:
Recursive programming
Reset Filters
Show filters (1)
Suggested Topics:
Recursive programming
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Recursive programming
Combinatory logic
2
Computer programming
1
Computer programs
1
Electronic digital computers
1
Lambda calculus
1
Programming
1
Programming languages (Electronic computers)
1
Proof theory
1
Semantics
1
Showing
1 - 5
results of
5
for search '
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Book
Loading…
Recursive programming techniques /
by
Burge, William H.
Published 1975
Call Number:
Loading…
Located:
Loading…
Save to List
Saved in:
2
Book
Loading…
Recursive techniques in programming
by
Barron, D. W. (David William), 1935-
Published 1968
Call Number:
Loading…
Located:
Loading…
Save to List
Saved in:
3
Book
Loading…
Recursive program schemes : semantics and proof theory /
by
Roever, W.-P. de
Published 1976
Call Number:
Loading…
Located:
Loading…
Save to List
Saved in:
4
Thesis
Book
Loading…
Combinatory reduction systems /
by
Klop, J. W.
Published 1980
Call Number:
Loading…
Located:
Loading…
Save to List
Saved in:
5
Book
Loading…
Theory of program structures : schemes, semantics, verification /
by
Greibach, Sheila, 1939-
Published 1975
Call Number:
Loading…
Located:
Loading…
Save to List
Saved in:
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Year of Publication
From:
To:
Language
English
5
Subject
Q - Science
5