𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Partial order models for quantitative extensions of LOTOS

✍ Scribed by Ed Brinksma; Joost-Pieter Katoen; Rom Langerak; Diego Latella


Book ID
104309902
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
476 KB
Volume
30
Category
Article
ISSN
0169-7552

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Extensions of Partially Ordered Sets
✍ H. M. MacNeille πŸ“‚ Article πŸ“… 1936 πŸ› National Academy of Sciences 🌐 English βš– 250 KB
First Order Theories for Partial Models
✍ BoΕΌena Staruch; Bogdan Staruch πŸ“‚ Article πŸ“… 2005 πŸ› Springer Netherlands 🌐 English βš– 197 KB