Loading [Contrib]/a11y/accessibility-menu.js
Home
About IMI
Outline of IMI
IMI International Advisory Board
Message from the Director
IMI Tokyo Office
About IMI Auditorium & Related Facilities
Access
Inquiry
Divisions & Staff
Academic Staff
Division of Advanced Mathematics Technology
Division of Applied Mathematics
Division of Fundamental Mathematics
Division of Intelligent Societal Implementation of Mathematical Computation
Division of Industrial and Mathematical Statistics
Laboratory of Mathematical Design for Advanced Cryptography
Division of Strategic Liaison
Australia Branch
Division of Fujitsu Mathematical Modeling for Decision Making
Visitors Section
Research Activities
Seminar (external site)
IMI Colloquium (external site)
Research Conference
For Businesses
MfIP(external site)
AIMaP (external site)
Technical Consultation
Research and Technical Catalog
Publications
International Journal of Mathematics for Industry (IJMI) (external site)
MI Lecture Notes
Math-for-Industry Research
Institute of Mathematics for Industry Newsletter
Reports
Search
Japanese
Research and Technical Catalog
Page for batch download & batch printing
2025FY Research and Technical Catalog(PDF)
Algebraic specification
GAINA, Daniel
Keyword:
Logic, Formal Methods, Category Theory
Reference
<
1
2
3
4
×
Search
Includes archives
Search
