Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hendrik C. R. Lock" ( http://dblp.L3S.de/Authors/Hendrik_C._R._Lock )

  Author page on DBLP  Author page in RDF  Community of Hendrik C. R. Lock in ASPL-2

Publication years (Num. hits)
1991-1998 (11)
Publication types (Num. hits)
article(2) incollection(1) inproceedings(8)
Venues (Conferences, Journals, ...)
PLILP(2) WLP(2) Comput. Lang.(1) Declarative Programming(1) ICLP Workshop: Integration of ...(1) Logic Programming: Formal Meth...(1) PLILP/ALP(1) Sci. Comput. Program.(1) TAPSOFT, Vol.2(1)
Authors
Hendrik C. R. Lock(11) Manuel M. T. Chakravarty(5) Martin Köhler(2) Silvia Breitinger(2) Yike Guo(2) Farid Ajili(1) Roland Dietrich(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Farid Ajili, Hendrik C. R. Lock Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Manuel M. T. Chakravarty, Hendrik C. R. Lock Towards the Uniform Implementation of Declarative Languages. Search on Bibsonomy Comput. Lang. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Silvia Breitinger, Hendrik C. R. Lock Using Constraint Logic Programming for Industrial Scheduling Problems. Search on Bibsonomy Logic Programming: Formal Methods and Practical Applications The full citation details ... 1995 DBLP  BibTeX  RDF
1Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock Co-ordinating Parallel Computation through Equational Constraints. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Manuel M. T. Chakravarty, Hendrik C. R. Lock The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. Search on Bibsonomy ICLP Workshop: Integration of Declarative Paradigms The full citation details ... 1994 DBLP  BibTeX  RDF
1Silvia Breitinger, Hendrik C. R. Lock Improving Search for Job-Shop Scheduling with CLP(FD). Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Hendrik C. R. Lock Residuation with Type Constraints is Complete. Search on Bibsonomy WLP The full citation details ... 1993 DBLP  BibTeX  RDF
1Roland Dietrich, Hendrik C. R. Lock Exploiting Non-Determinism through Laziness in Guarded Functional Languages. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Hendrik C. R. Lock A Systematic Method for Designing Abstract Narrowing Machines. Search on Bibsonomy Declarative Programming The full citation details ... 1991 DBLP  BibTeX  RDF
1Manuel M. T. Chakravarty, Hendrik C. R. Lock The Implementation of Lazy Narrowing. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.