Results 1 - 10 of 14,804

BRICS

by Brics Rs-- Bradfield, Stevens Observational Mu-calculus, Observational Mu-calculus, Julian C. Bradfield, Perdita Stevens, Copyright C, Julian C. Bradfield, Perdita Stevens, Julian Bradfield, Perdita Stevens , 909
"... Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/97/24/ Relational Reasoning about Contexts ∗

by Søren B. Lassen, S. B. Lassen , 909
"... See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/98/42/ Semantics, Modularity, and Rewriting Logic

by Peter D. Mosses, Peter D. Mosses , 909
"... See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

semi-constructive proofs

by Ulrich Kohlenbach, Copyright C, Ulrich Kohlenbach, Ulrich Kohlenbach , 2004
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/98/30/ Finitely Presented Heyting Algebras

by Carsten Butz, Carsten Butz , 1998
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/97/22/ Syntax and Semantics of the Logic L λ ωω

by Carsten Butz, Carsten Butz , 1997
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/99/41/ Verification of State/Event Systems by Quotienting

by Nicky O. Bodentien, Jacob Vestergaard, Jakob Friis, K˚are J. Kristoffersen, Kim G. Larsen, Copyright C, Nicky O. Bodentien, Jacob Vestergaard, Jakob Friis, K˚are J. Kristoffersen, Kim G, Nicky Oliver, Bodentien Jacob, Vestergaard Jakob Friis, Kåre Jelling, Kristoffersen Kim, Guldstrand Larsen , 909
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/97/52/ On the finitary characterization of π-congruences

by Paola Quaglia, Paola Quaglia , 909
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

This document in subdirectoryRS/97/49/ Casl for Asf+Sdf Users

by Peter D. Mosses, Peter D. Mosses , 909
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS

lookup time

by Rasmus Pagh, Rasmus Pagh , 1998
"... is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Add to MetaCart
is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS
Results 1 - 10 of 14,804