File(s) not publicly available
Linear Recursive Functions
chapter
posted on 2023-06-07, 19:16 authored by Sandra Alves, Maribel Fernández, Mario Florido, Ian MackieIan MackieNo description supplied
History
Publication status
- Published
Publisher
SpringerIssue
4600Page range
182-195Book title
Rewriting, computation and proof: Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthdayPlace of publication
BerlinISBN
9783540731467Series
Lecture Notes in Computer ScienceDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes