Effectively given spaceKAMIMURA, T; TANG, A.Theoretical computer science. 1984, Vol 29, Num 1-2, pp 155-166, issn 0304-3975Article

Lower and upper power domain constructions commute on all cposHECKMANN, P.Information processing letters. 1991, Vol 40, Num 1, pp 7-11, issn 0020-0190Article

The informatic derivative at a compact elementMARTIN, Keye.Lecture notes in computer science. 2002, pp 310-325, issn 0302-9743, isbn 3-540-43366-XConference Paper

Towards a semantics-based information theoryBAUMANN, P.Formal aspects of computing. 1991, Vol 3, Num 4, pp 315-325, issn 0934-5043Article

Hysteretic moisture properties of porous materials: Part I: ThermodynamicsFUNK, Max.Journal of building physics (Print). 2014, Vol 38, Num 1, pp 6-49, issn 1744-2591, 44 p.Article

Towards dynamic domains : Totally continuous cocomplete Q-categoriesSTUBBE, Isar.Theoretical computer science. 2007, Vol 373, Num 1-2, pp 142-160, issn 0304-3975, 19 p.Article

Effectivity of regular spacesBLANCK, Jens.Lecture notes in computer science. 2001, pp 1-15, issn 0302-9743, isbn 3-540-42197-1Conference Paper

An extensional treatment of lazy data flow deadlockMATTHEWS, S. G.Theoretical computer science. 1995, Vol 151, Num 1, pp 195-205, issn 0304-3975Conference Paper

Using powerdomains to generalize relational databasesBUNEMAN, P; JUNG, A; OHORI, A et al.Theoretical computer science. 1991, Vol 91, Num 1, pp 23-55, issn 0304-3975Article

Categories of embeddingsCOQUAND, T.Theoretical computer science. 1989, Vol 68, Num 3, pp 221-237, issn 0304-3975, 17 p.Article

Canonical extensions and canonicity via dcpo presentationsGEHRKE, Mai; VOSMAER, Jacob.Theoretical computer science. 2011, Vol 412, Num 25, pp 2714-2723, issn 0304-3975, 10 p.Article

Comparing free algebras in Topological and Classical Domain TheoryBATTENFELD, Ingo.Theoretical computer science. 2010, Vol 411, Num 19, pp 1900-1917, issn 0304-3975, 18 p.Conference Paper

Probabilistic event structures and domainsVARACCA, Daniele; VÖLZER, Hagen; WINSKEL, Glynn et al.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 173-199, issn 0304-3975, 27 p.Conference Paper

Some points in formal topologySAMBIN, Giovanni.Theoretical computer science. 2003, Vol 305, Num 1-3, pp 347-408, issn 0304-3975, 62 p.Conference Paper

Domain theory and differential calculus (functions of one variable)EDALAT, Abbas; LIEUTIER, André.Proceedings - Symposium on Logic in Computer Science. 2002, pp 277-286, issn 1043-6871, isbn 0-7695-1483-9, 10 p.Conference Paper

Power domains and iterated function systemsABBAS EDALAT.Information and computation (Print). 1996, Vol 124, Num 2, pp 182-197, issn 0890-5401Article

Domain theory in logical formABRAMSKY, S.Annals of pure and applied logic. 1991, Vol 51, Num 1-2, pp 1-77, issn 0168-0072, 77 p.Conference Paper

Entropy as a fixed pointMARTIN, Keye.Theoretical computer science. 2006, Vol 350, Num 2-3, pp 292-324, issn 0304-3975, 33 p.Conference Paper

Two categories of effective continuous cposHAMRIN, G; STOLTENBERG-HANSEN, V.Theoretical computer science. 2006, Vol 365, Num 3, pp 216-236, issn 0304-3975, 21 p.Conference Paper

Domain theory, testing and simulation for labelled Markov processesVAN BREUGEL, Franck; MISLOVE, Michael; OUAKNINE, Joël et al.Theoretical computer science. 2005, Vol 333, Num 1-2, pp 171-197, issn 0304-3975, 27 p.Conference Paper

Locally Boolean domainsLAIRD, J.Theoretical computer science. 2005, Vol 342, Num 1, pp 132-148, issn 0304-3975, 17 p.Conference Paper

Topology in computer scienceKOPPERMAN, Ralph; SMYTH, Michael B; SPREEN, Dieter et al.Theoretical computer science. 2003, Vol 305, Num 1-3, issn 0304-3975, 505 p.Conference Proceedings

Foundation of a computable solid modellingEDALAT, Abbas; LIEUTIER, André.Theoretical computer science. 2002, Vol 284, Num 2, pp 319-345, issn 0304-3975Article

Domains in HFIORE, Marcelo P; ROSOLINI, Giuseppe.Theoretical computer science. 2001, Vol 264, Num 2, pp 171-193, issn 0304-3975Article

Contrôle par rapport au domaine dans les EDP = Shape Control in PDEBucur, Dorin; Zolesio, J.-P.1995, 154 p.Thesis