Sage Journals: Discover world-class research

Retricted access

Research article

First published 2002-3

A Complete Axiomatization of Process Temporal Logic

Magdalena Kacprzak

Fundamenta Informaticae

Retricted access

Research article

First published 1996-5

A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Wan Fokkink

Fundamenta Informaticae

Retricted access

Research article

First published 1994-12

COMPLETENESS AND SOUNDNESS OF AXIOMATIZATIONS FOR TEMPORAL LOGICS WITHOUT NEXT

L.E. Moser, P.M. Melliar-Smith, G. Kutty [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1981

A Second-Order Dynamic Logic with Array Assignments

Petr Hajek, Petr Kůrka

Fundamenta Informaticae

Retricted access

Research article

First published 2001-3

Iteration-free PDL with Intersection: a Complete Axiomatization

Philippe Balbiani, Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published 2014-12

Reducing the structural complexity and transaction cost of collaborative networks using extended axiomatic design theory and virtual brokerage

Hadi Kandjani, Peter Bernus, Lian Wen

Concurrent Engineering

Retricted access

Research article

First published 2014-4

Evaluation of the current radiofrequency ablation systems using axiomatic design theory

Bing Zhang, Michael AJ Moser, Yigang Luo [...]

Proceedings of the Institution of Mechanical Engineers,Part H: Journal of Engineering in Medicine

Retricted access

Research article

First published 1988

Towards the Temporal Approach to Abstract Data Types

Andrzej Szalas

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-3

Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen

Fundamenta Informaticae

Retricted access

Research article

First published 1992

Logic for Information Systems 1

Cecylia M. Rauszer

Fundamenta Informaticae

Search results