Register | Log in | FAQ      [?] 

Tag domain-theory [105 articles]

Recent papers classified by the tag domain-theory.
  • Domain Theory
    (1994), pp. 1-168.
    by Samson Abramsky, Achim Jung
    edited by S Abramsky, D Gabbay, TSE Maibaum
    posted to domain-theory recursion by zednenem on 2005-08-25 03:00:35 as ** along with 2 people kolbusa ds
  • Developing Theories of Types and Computability
    (1999)
    by L Birkedal
    posted to domain-theory topos-theory type-theory universes-of-discourse by Scis0000002 on 2007-08-20 00:21:42 as **
  • Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming
    by Carlos I Chesñevar, Guillermo R Simari, Lluis Godo
    posted to argument-tree computability-logic dialectical-tree dialogue-tree dispute-tree domain-theory game-tree hyperefficiency hypertree hypertrees inference-tree lattice-of-argument-trees lattice-of-arguments lattice-of-dialectical-trees prediction proof-search proof-space proof-tree relevance resource-allocation search-space tree trees universal-search by Scis0000002 on 2007-07-02 13:41:12 as **
  • Semigroups, automata and languages
    Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398.
    by Gerard Lallement
    posted to algorithmic-information-theory automata automata-theory automatons category-of-languages computational-complexity-theory domain-theory formal-languages formal-language-theory metalogical-frameworks philosophy-of-science semigroups semigroup-theory topos-theory by Scis0000002 on 2008-05-05 14:37:40 as **
  • Probability and Finance: It's Only a Game!
    (15 June 2001)
    by Glenn Shafer, Vladimir Vovk
    posted to computability-logic domain-theory entropies entropy games game-theory lattice-theory markets martingales order-theory probability-theory quantum-probability-theory by Scis0000002 on 2007-12-28 13:58:12 as ** along with 2 people ansobol quianominorleo
  • Entropic Geometry from Logic
    (6 Feb 2003)
    by Bob Coecke
    posted to complete-lattices domain-theory entropies lattice-of-subspaces partial-order by Scis0000002 on 2008-04-25 21:50:59 as ** along with 1 person jrw
  • Games as formal tools versus games as explanations in logic and science
    Foundations of Science, Vol. 8, No. 4. (1 December 2003), pp. 317-364.
    by Ahti-Veikko Pietarinen
    posted to argumentation-theory category-theory computability-logic dialogical-logic domain-theory games game-theory lattice-theory logics networks order-theory probability-theory by Scis0000002 on 2007-07-01 16:05:50 as **
  • Why Occam's Razor
    (28 Jan 2004)
    by Russell K Standish
    posted to algorithmic-information-theory cantor-space computability computability-logic computational-cosmology descriptive-complexity diophantine-equations domain-theory formal-system formal-systems formal-theories no-boundary-conditions polynomial-equations polynomials recursively-enumerable-formal-systems recursively-enumerable-sets recursively-enumerable-theorems toe toes topos-theory unifying by Scis0000002 on 2008-04-08 19:11:09 as **
  • Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures
    (1998), pp. 293-304.
    by Michael Colon, Tomas E Uribe
    posted to abstracting abstraction causal-state-machine clocked-transition-system domain-theory model-checking partial-order refinement simulation state-space temporal-logic transition-system by scis0000001 on 2007-04-07 13:52:48 as ** along with 1 person bunge
  • Computable invariance
    Theoretical Computer Science, Vol. 210, No. 1. (1999), pp. 3-20.
    by Vasco Brattka
    posted to computability computable-analysis domain-theory invariance by scis0000001 on 2006-11-16 14:36:32 as **
  • Non-Commutative Topology for Curved Quantum Causality
    (22 Feb 2001)
    by Ioannis Raptis
    posted to category-theory causality domain-theory noncommutative quantum-topos topology topos-theory by scis0000001 on 2007-03-06 14:25:26 as **
  • Power Domains and Iterated Function Systems
    Information and Computation, Vol. 124, No. 2. (1996), pp. 182-197.
    by Abbas Edalat
    posted to ifs domain-theory by scis0000001 on 2007-01-30 09:56:38 as **
  • Measurability and Computability
    (16 Sep 1998)
    by Masanao Ozawa
    posted to computability-theory domain-theory measure-theory by scis0000001 on 2007-02-23 13:28:01 as ** along with 1 person mstn
  • A cartesian closed category of approximable concept structures
    (2004)
    by P Hitzler, G Zhang
    posted to algebraic algorithmic-information-theory all-logical-theories approximable-concepts axiomatic-system axiomatizations cartesian-closed-categories category-of-formal-contexts category-of-information-systems chu-space closed-categories complete-partial-order computability computability-logic computational-epistemology concept-lattice conceptual-structures cpo domain-theory fca finiteness formal-context iff incompleteness infinite infinite-formal-context information-system lattice lattice-of-theories logical-structures logical-theories lp mda minimal-sufficient-statistic n-information-system nonmonotonicity partial-information polyadic-concept-analysis semantics semweb state-space unified-concept-theory by scis0000001 on 2006-10-13 16:58:05 as **
  • Dynamics of market correlations: Taxonomy and portfolio analysis
    Phys. Rev. E, Vol. 68, No. 5. (November 2003), 056110.
    by JP Onnela, A Chakraborti, K Kaski, J Kertész, A Kanto
    posted to behavior concurrency domain-theory dynamics markets semantics taxonomy topological-space ultrametric-space by scis0000001 on 2007-04-01 15:42:05 as **
  • Hypercomputation: computing more than the Turing machine
    (25 Sep 2002)
    by Toby Ord
    posted to domain-theory gtm hypercomputation by scis0000001 on 2006-11-08 14:13:02 as ** along with 3 people BrendaChng ariels BrianTomasik
  • Theory of partial-order programming
    Science of Computer Programming, Vol. 34, No. 3. (1999), pp. 207-238.
    by Mauricio Osorio, Bharat Jayaraman, David A Plaisted
    posted to declarative-programming domain-theory lattice mathematical-programming partial-order partial-order-programming by scis0000001 on 2006-12-12 10:00:54 as ** along with 1 person baisemain
  • Quantitative Temporal Logic
    (1999), pp. 172-187.
    by Yoram Hirshfeld, Alexander M Rabinovich
    posted to temporal-logic quantitative-temporal-logic quantitative prediction monadic-logic-of-order linear domain-theory by scis0000001 on 2007-01-28 01:00:21 as **
  • Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding
    by MM Bonsangue, F van Breugel, JJMM Rutten
    posted to chu-space completion domain-theory embedding fca generalized-ultrametric-space information-geometry p-adic topology ultrametric ultrametric-space by scis0000001 on 2006-09-01 09:41:14 as **
  • Domain Theory in Stochastic Processes
    (1995), pp. 244-254.
    by Abbas Edalat
    posted to stochastic-process process domain-theory by scis0000001 on 2007-02-05 13:38:49 as **
  • Formalizing Synthetic Domain Theory
    J. Autom. Reason., Vol. 23, No. 3. (November 1999), pp. 411-444.
    by Bernhard Reus
    posted to computability computational-category-theory domain-theory effective-topos synthetic-domain-theory by scis0000001 on 2006-09-29 08:44:09 as **
  • Domain Compression for Complete Abstractions
    by Roberto Giacobazzi, Isabella Mastroeni
    posted to abstraction compression domain-selection domain-theory universal-domains by scis0000001 on 2007-04-14 02:22:27 as **
  • Recursive Types in Games: Axiomatics and Process Representation
    (1998), pp. 345-356.
    by Marcelo P Fiore, Kohei Honda
    posted to domain-theory games by scis0000001 on 2007-02-18 11:52:10 as **
  • Temporal Concept Analysis
    by Karl E Wolff
    posted to behavior behavior-space chu-space computational-epistemology conceptual-structures continuity discreteness domain-theory duality dynamical-system dynamics event event-space fca granularity iff information-system lca linearity mereology modeling n-information-system phase-space polyadic-concept-analysis qualitative scale-relativity scale-space space-time spatio-temporal state-space symbolic-dynamics tca temporal temporal-concept-analysis time transition-system unified-concept-theory by scis0000001 on 2006-12-07 16:23:37 as ** along with 1 person Scis0000002
  • An elementary proof that upper and lower powerdomain constructions commute
    Bulletin of the European Association for Theoretical Computer Science, Vol. 48 (1992), pp. 175-177.
    by L Libkin
    posted to domain-theory powerdomain by scis0000001 on 2006-11-10 08:50:16 as **
  • Modal and Temporal Operators on Partial Orders
    by Bernhard Möller
    posted to temporal-logic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 13:46:16 as **
  • Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
    by Sebastian Bader, Pascal Hitzler
    posted to category-theory chu-space computational-epistemology concept-lattice dimension-theory domain-theory fractal-universe fractality hausdorff-dimension iff ifs information-theory lattice logic lp predictability relativistic-information relativity self-similarity semantics space-time topological-dynamics by scis0000001 on 2006-09-01 09:51:50 as **
  • Morphisms in Logic, Topology, and Formal Concept Analysis
    by Markus Krötzsch
    posted to chu-space domain-theory fca inference morphism topology by scis0000001 on 2006-11-08 14:56:27 as ** along with 1 person thau
  • Least Reflexive Points of Relations
    by Jules Desharnais, Bernhard Möller
    posted to chu-space domain-theory fixed-point generalization lattice monotonicity partial-order reflexive-point relation relational-structures by scis0000001 on 2007-04-07 01:26:01 as **
  • Building Models of Prediction Theories
    (1998), pp. 557-568.
    by Graham White, John Bell, Wilfrid Hodges
    edited by Anthony G Cohn, Lenhart Schubert, Stuart C Shapiro
    posted to proof-theory model-theory domain-theory computational by scis0000001 on 2007-02-05 12:53:12 as ** along with 1 person Scis0000002
  • Computability on the Interval Space: A Domain Approach
    by Benjamín C Bedregal, Benedito M Acióly
    posted to computability domain-theory interval by scis0000001 on 2006-11-16 14:34:24 as **
  • Semantic Domains for Combining Probability and Non-Determinism
    (2005)
    by R Tix, K Keimel, G Plotkin
    posted to probability powerdomains non-determinism domain-theory by scis0000001 on 2007-01-19 09:46:15 as **
  • Unique fixed points in domain theory
    (2001)
    by K Martin
    posted to fixed-point domain-theory by scis0000001 on 2007-02-01 14:45:35 as **
  • Domain Theory
    by Corrected, Expanded
    posted to axiomatic-domain-theory domain-theory stable-domain-theory synthetic-domain-theory by scis0000001 on 2007-02-18 11:00:50 as ** along with 4 people and 1 group dherman jrw cedricboidin msakai NU-PRL
  • Domains and Denotational Semantics: History, Accomplishments and Open Problems
    Bulletin of the EATCS, Vol. 59 (June 1996), pp. 227-256.
    by MP Fiore, A Jung, E Moggi, P O'Hearn, J Riecke, G Rosolini, I Stark
    posted to survey domain-theory by scis0000001 on 2007-01-30 10:24:22 as ** along with 1 person ds
  • Infinitary Domain Logic for Finitary Transition Systems
    (1997), pp. 213-232.
    by Marcello M Bonsangue, Joost N Kok
    posted to domain-logic domain-theory logic transition-system by scis0000001 on 2006-10-13 17:26:03 as **
  • Analyses of design processes based on category theory and channel theory
    SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.
    by K Minamizono, O Katai, T Shiose, H Kawakami
    posted to category-theory channel-theory chu-space collaboration concurrency costing design-lattice design-process design-space design-theory dev domain-theory efficiency enterprise games hyperefficiency iff innovation institutions invention just-in-time managed-logic metaprocess methodology multisource-algorithmic-information-theory optimality parchments patent-classification patents planning problem-solving process process-theory product-classification product-development product-lattice productivity refinement unified-concept-theory by scis0000001 on 2007-03-15 16:35:54 as **
  • Paraconsistency of Interactive Computation
    (21 Jul 2002)
    by Dina Goldin, Peter Wegner
    posted to abduction all-computational-structures all-logical-theories all-physical-structures computability-logic concurrency consistency contradiction countability decoherence domain-theory dynamical-system enumerability equivalence-class fol game-theory games generalized-algorithmic-probability generalized-kolmogorov-complexity gtm iff incompleteness inference infinite interactivity lattice-of-theories logics long-range-correlation many-body metaevolution metalogic-programming minimum-sufficient-statistic modeling nonmonotonicity observability paraconsistency problem-solving proof-tree quantum-field-computation quantum-vacuum relevant-logic resources scale-relativity self-duality semantics symmetry-breaking syntax temporal-relevant-logic time-horizon universality universality-class by scis0000001 on 2007-02-18 15:19:53 as **
  • Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
    The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452.
    by Abbas Edalat
    posted to banach-space computation computational-epistemology domain-theory domains metric-space topological-space by scis0000001 on 2006-10-17 09:21:30 as **
  • Semantic domains, injective spaces and monads (Extended Abstract)
    by Martín H Escardo, Robert C Flagg
    posted to domain-theory dt monads semantic-domains semantics by scis0000001 on 2006-10-06 10:08:38 as **
  • Infinite Behaviour and Fairness in Concurrent Constraint Programming
    (1992), pp. 348-383.
    by Marta Z Kwiatkowska
    posted to domain-theory constraints concurrency ccp by scis0000001 on 2007-02-04 16:20:27 as **
  • Operational Domain Theory and Topology of a Sequential Programming Language
    (2005), pp. 427-436.
    by Ho W Kin
    posted to domain-theory operational-domain-theory by scis0000001 on 2007-04-08 19:31:34 as ** along with 1 person jrw
  • Blind Construction of Optimal Nonlinear Recursive Predictors for Discrete Sequences
    (6 Jun 2004)
    by Cosma R Shalizi, Kristina L Shalizi
    posted to universality-class temporal-concept-analysis sufficiency scott-information-system process prediction mutual-information minimal-sufficient-statistic information-distance gale fractafold fca equivalence-class epsilon-machine epistemology dynamics domain-theory computational-eistemology causal-state-machine boolean-dissimilarity behavior by scis0000001 on 2006-10-24 11:07:36 as ** along with 4 people and 1 group noel ansobol livingthingdan sugarexpletive livingthing
  • Elements of generalized ultrametric domain theory
    Theoretical Computer Science, Vol. 170, No. 1--2. (1996), pp. 349-381.
    by JJMM Rutten
    posted to domain-theory ultrametric by scis0000001 on 2007-04-12 01:35:10 as **
  • Concurrent Games and Full Completeness
    (1999), pp. 431-442.
    by Samson Abramsky, Paul A Mellies
    posted to completeness computability-logic concurrency domain-theory games semantics by scis0000001 on 2007-02-18 11:59:33 as **
  • The measurement process in domain theory
    (2000)
    by K Martin
    posted to domain-theory measure-theory measurement by scis0000001 on 2007-01-30 10:13:25 as **
  • The lattice structure of chip firing games
    (2000)
    by M Latapy, H Phan
    posted to chip-firing-games configuration-space domain-theory dynamical-system lattice manifold by scis0000001 on 2007-02-16 09:10:09 as **
  • Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
    The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452.
    by Abbas Edalat
    posted to algebraicity applications behavior-space computability-theory computational-epistemology computational-science continuity domain-theory dynamical-system ifs incremental measure-theory probability-theory process-space process-theory program-space proof-space space-of-distributions space-of-probability-distributions space-of-processes space-of-programs space-of-proofs state-space topological-space topology by scis0000001 on 2007-02-16 14:02:29 as ** along with 1 person Scis0000002
  • Domain Theoretic Models of Polymorphism
    Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167.
    by Thierry Coquand, Carl A Gunter, Glynn Winskel
    posted to category-theory domain-theory polymorphism by scis0000001 on 2006-12-29 14:41:02 as ** along with 2 people darinm msakai
  • Bayesian Model Selection in Finite Mixtures by Marginal Density Decompositions Hemant Ishwaran, Lancelot F. James, and Jiayang Sun
    by We C The
    posted to bayesian domain-theory iff mixture model-selection partial-order partition space-of-distributions space-of-partitions by scis0000001 on 2007-03-15 14:29:18 as **
    • Note: You may cite this page as: http://www.citeulike.org/tag/domain-theory

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.