Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Nakano, Hiroshi - Department of Applied Mathematics and Informatics, Ryukoku University
A Constructive Formalization of the Catch and Throw Mechanism
Logical Structures of the Catch and Throw Mechanism
Fixed-point logic with the approximation modality and its Kripke completeness
A Modality for Recursion ? (Technical Report) ??
The Nondeterministic Catch and Throw Mechanism and Its Subject Reduction Property
A Modality for Recursion Hiroshi Nakano
Fixedpoint logic with the approximation modality and its Kripke completeness
Series Foreword xiii 1 Introduction 1
