Torbjörn Keisu  Home/Search
Context Related
| sics.se/pub/isl/pa...keisuthesis.ps.gz sics.se/pub/ps/pap...keisuthesis.ps.gz it.kth.se/Reports/...TRITAIT9410.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sics.se/isl/papers/older (more) From: sics.se/isl/akl/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As computational tasks get more and more complex, we need better and better methods to handle these tasks. The complexity in many problems lies on two different planes. On the one hand we need as quickly as possible, using raw processing power, to solve a problem that has been specified in some programming language. On the other hand there is a complexity in describing a real-world problem using the language at hand. The actual translation may be very complex to do and cumbersome to verify. In... (Update)
Context of citations to this paper: More
.... one would usually expect (e.g. see the rst substitution in Example 1) We refer the interested reader to (Ja ar, Lassez and Maher 1987, Keisu 1994, Maher 1988) for details on the subject. In the sequel we will use the expression equality theory to denote any consistent,...
.... would usually expect (e.g. see the first substitution in Example 1) We refer the interested reader to (Ja#ar, Lassez and Maher 1987, Keisu 1994, Maher 1988) for details on the subject. In the sequel we will use the expression equality theory to denote any consistent,...
Cited by: More
Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (Correct)
Active bibliography (related documents): More All
0.3: Constraints, Varieties, and Algorithms - van Dongen (2002) (Correct)
0.2: An Intelligent Tool for Process Synthesis - Amein (1997) (Correct)
0.2: A Quadratic Optimiser in a Constraint Logic Programming Paradigm - Abbass (Correct)
Similar documents based on text: More All
0.1: SNMP Application for the MINT Router - Oelhafen (1994) (Correct)
0.1: RadioNet Driver Implementation for the Mobile INTernet Router.. - Guerin (1994) (Correct)
0.1: Structural Decomposition - Hultstrom (1994) (Correct)
Related documents from co-citation: More All
4: Decomposing non-redundant sharing by complementation - Za, Hill et al. - 1999
2: Set-sharing is redundant for pairsharing (context) - Report, Bagnara et al. - 1997
2: Compile-time derivation of variable dependency using abstract interpretation - Muthukumar, Hermenegildo - 1992
BibTeX entry: (Update)
Keisu, T. (1994). Tree Constraints, PhD thesis, The Royal Institute of Technology, Stockholm, Sweden. Also available in the SICS Dissertation Series: SICS/D{16{SE. http://citeseer.ist.psu.edu/keisu94tree.html More
@misc{ keisu94tree,
author = "T. Keisu",
title = "Tree Constraints",
text = "Keisu, T. (1994). Tree Constraints, PhD thesis, The Royal Institute of
Technology, Stockholm, Sweden. Also available in the SICS Dissertation Series:
SICS/D{16{SE.",
year = "1994",
url = "citeseer.ist.psu.edu/keisu94tree.html" }
Citations (may not include all citations):380 Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1989
134 Unification theory - Siekmann - 1986
100 A generic arc-consistency algorithm and its specializations (context) - van Hentenryck, Deville et al. - 1992
77 Constructive negation for constraint logic programming (context) - Stuckey - 1991
39 A Calculus for Higher-order Concurrent Constraint Programmin.. - Smolka - 1993
14 Deutsches Forschungszentrum fur Kunstliche Intelligenz GmbH (context) - Smolka, Treinen et al. - 1992
11 Partial evaluation of a CLP language (context) - Smith, Hickey - 1990
6 Systeme algebraischer Gleichungen zu losen (context) - Trinks, Verfahren - 1978
4 Constraint operations for CLP (context) - Smith - 1991
3 Application of ideal theory to Boolean constraint solving (context) - Sakai, Sato - 1990
1 Multi-CLP: Disjunctive constraints in logic programming (context) - Smith - 1992
Documents on the same site (http://www.sics.se/isl/papers/older.html): More
Concurrent Constraint Programming at SICS with the .. - Haridi, Janson.. (1993) (Correct)
Ports for Objects in Concurrent Logic Programs - Janson, Montelius, Haridi (1993) (Correct)
Automatic Frequency Assignment for Cellular Telephones Using .. - Carlsson, Grindal (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC