theoretische informatica

A case study in formal methods : specification and validation of the OM/RR protocol / Tim Willemse, Jan Tretmans, and Arjen Klompschema:ProductModel A comparison of Ward & Mellor's transformation schema with state & activitycharts / by J. Peleska, C. Huizing and C. Petersohnschema:ProductModel A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J.F. Groote, S.P. Luttikschema:ProductModel A cumulative default logic based on epistemic states / J.-J.Ch. Meyer, W. van der Hoekschema:ProductModel A dynamic logic of iterated belief change / B. van Linderschema:ProductModel A formal power series equation from formula complexity theory / D.C. Leijenhorstschema:ProductModel A geometric proof of confluence by decreasing diagrams / J.W. Klop, V. van Oostrom, R. de Vrijerschema:ProductModel A proof system for process creation / Frank S. de Boer, Pierre Americaschema:ProductModel A simplified proof of Toyama's theorem / J.W. Klop ... [et al.]schema:ProductModel A simplified proof of Toyama's theorem / J.W. Klop ... [et al.]schema:ProductModel A theoretical and empirical analysis of approximation in symbolic problem solving / Petrus Cornelis Grootschema:ProductModel Achievable potential reductions in the method of Kojima et al. in the case of linear programming / C. Roos and J.-Ph. Vialschema:ProductModel Actions that make you change your mind : belief revision in an agent-oriented setting / B. van Linder and W. van der Hoek, and J.-J.Ch. Meyerschema:ProductModel Admissible digit sets and a modified stern-brocot representation / J. Hughes, M. Niquischema:ProductModel Advances in automatic control / ed. by Mihail Voicuschema:ProductModel Algorithm development for automatic count of flowers / carried out by Daan Holtackersschema:ProductModel An algorithm for the asynchronous Write-All problem based on process collision / J.F. Groote ... [et al.]schema:ProductModel An effective axiomatization for real time ACP / W.J. Fokkink, A.S. Klusenerschema:ProductModel An epistemic logic for defeasible reasoning using a meta-level architecture metaphor / J.-J.Ch. Meyer, W. van der Hoekschema:ProductModel An experiment in the syntactical analysis of English noun phrases / Gerrit F. van der Hoevenschema:ProductModel ... show all 134

procesalgebraskos:Concept