AAAAAA

   
Results: 1-4 |
Results: 4
GENERALIZED METRIC-SPACES - COMPLETION, TOPOLOGY, AND POWERDOMAINS VIA THE YONEDA EMBEDDING
Authors: BONSANGUE MM VANBREUGEL F RUTTEN JJMM
Citation: Mm. Bonsangue et al., GENERALIZED METRIC-SPACES - COMPLETION, TOPOLOGY, AND POWERDOMAINS VIA THE YONEDA EMBEDDING, Theoretical computer science, 193(1-2), 1998, pp. 1-51
ELEMENTS OF GENERALIZED ULTRAMETRIC DOMAIN THEORY
Authors: RUTTEN JJMM
Citation: Jjmm. Rutten, ELEMENTS OF GENERALIZED ULTRAMETRIC DOMAIN THEORY, Theoretical computer science, 170(1-2), 1996, pp. 349-381
CONTENTS AND ABSTRACTS OF THE ELECTRONIC NOTES IN THEORETICAL COMPUTER-SCIENCE VOL 1 - PROCEEDINGS OF THE 11TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, TULANE-UNIVERSITY, NEW-ORLEANS, LA, 29 MARCH 1 APRIL 1995 - SOLUTIONS OF FUNCTORIAL AND NON-FUNCTORIAL METRIC DOMAIN EQUATIONS
Authors: ALESSI F BALDAN P BELLE G RUTTEN JJMM
Citation: F. Alessi et al., CONTENTS AND ABSTRACTS OF THE ELECTRONIC NOTES IN THEORETICAL COMPUTER-SCIENCE VOL 1 - PROCEEDINGS OF THE 11TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS, TULANE-UNIVERSITY, NEW-ORLEANS, LA, 29 MARCH 1 APRIL 1995 - SOLUTIONS OF FUNCTORIAL AND NON-FUNCTORIAL METRIC DOMAIN EQUATIONS, Theoretical computer science, 152(2), 1995, pp. 324-332
FULLY ABSTRACT DENOTATIONAL MODELS FOR NONUNIFORM CONCURRENT LANGUAGES
Authors: HORITA E DEBAKKER JW RUTTEN JJMM
Citation: E. Horita et al., FULLY ABSTRACT DENOTATIONAL MODELS FOR NONUNIFORM CONCURRENT LANGUAGES, Information and computation, 115(1), 1994, pp. 125-178
Risultati: 1-4 |