An Introduction to Programming with Specifications
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Elsevier

9780124276208
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PROVING FACTS ABOUT RECURSIVELY DEFINED FUNCTIONS

1991 ◽  
pp. 102-113
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski

MORE COMPLEX RECURSION

1991 ◽  
pp. 75-83
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski

DESIGNING RECURSIVE DEFINITIONS

1991 ◽  
pp. 61-74
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski
Keyword(s):  
Recursive Definitions

RECURSIVE FUNCTION DEFINITIONS

1991 ◽  
pp. 50-60
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski
Keyword(s):  
Recursive Function

INTRODUCTION

1991 ◽  
pp. 1-8
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski

TAIL RECURSION

1991 ◽  
pp. 114-126
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski
Keyword(s):  
Tail Recursion

LOCAL DEFINITIONS

1991 ◽  
pp. 40-49
Author(s):  
Ryszard Kubiak ◽  
Roman Rudziński ◽  
Stefan Sokołowski
Load More ...
Sign in / Sign up

Export Citation Format

Share Document