Linear Recursive Functions
chapter
posted on 2023-06-07, 19:16 authored by Sandra Alves, Maribel Fernández, Mario Florido, Ian 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
Editors
Claude Kirchner, Hubert Comon-Lundh, Hélène KirchnerLegacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC