๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Abstract implementation of algebraic specifications in a temporal logic language

โœ Scribed by Huimin Lin; Chun Gong; Hongliang Xie

Book ID
112947399
Publisher
Springer
Year
1991
Tongue
English
Weight
623 KB
Volume
6
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rule
[Lecture Notes in Computer Science] Rule Interchange and Applications Volume 5858 || A Java Implementation of Temporal Defeasible Logic
โœ Governatori, Guido; Hall, John; Paschke, Adrian ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 183 KB

The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada, with the 12th International Business Rules Forum, was the premier place to meet and to exchange ideas from all ?elds of rules technologies. The aims of RuleML 2009 were both to prese

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5110 || On a Graph Calculus for Algebras of Relations
โœ Hodges, Wilfrid; de Queiroz, Ruy ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 250 KB

Edited In Collaboration With Folli, The Association Of Logic, Language And Information, This Book Constitutes The 4th Volume Of The Folli Lnai Subline; Containing The Refereed Proceedings Of The 15th International Workshop On Logic, Language, Information And Computation, Wollic 2008, Held In Edinbur