Files: | Description | Format |
Fulltext Original | PDF (requires Acrobat Reader) | |
Fulltext 1 st Revised | PDF (requires Acrobat Reader) | |
Fulltext 2nd Revised | PDF (requires Acrobat Reader) | |
Fulltext Original | PostScript (requires a PostScript Reader) | |
Fulltext 1st Revised | PostScript (requires a PostScript Reader) | |
Fulltext 2nd Revised | PostScript (requires a PostScript Reader) | |
Author: | Michael Thielscher | |
Article title: | Introduction to the Fluent Calculus | |
Publ. type: | Article | |
Volume: | 3 | |
Article No: | 14 | |
Language: | English | |
Abstract [en]: | The present introduction to the Fluent Calculus is intended as an ETAI reference article. It summarizes basic definitions and concepts in the Fluent Calculus, and is intended as a reference for future articles where the calculus is used. | |
Publisher: | Linköping University Electronic Press | |
Year: | 1998 | |
Available: | Originial 1998-10-02, 1st Revised 1999-02-10, 2nd Revised 1999-07-15 | |
No. of pages: | Original 43, 1st Revised 38 and 2nd Revised 39 | |
Series: | Linköping Electronic Articles in Computer and Information Science | |
ISSN: | 1401-9841 |