MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Henning Christiansen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

examples and exercises
by Henning Christiansen — 2007
… and HYPROLOG: Comments on the recommended reading, examples and exercises Henning Christiansen Roskilde…
Add To MetaCart

From Use Cases to UML Class Diagrams using Logic Grammars and Constraints
by Henning Christiansen
…From Use Cases to UML Class Diagrams using Logic Grammars and Constraints Henning Christiansen…
Add To MetaCart

Automated reasoning with a constraint-based metainterpreter
by Henning Christiansen — 1998 — Journal of Logic Programming
…AUTOMATED REASONING WITH A CONSTRAINT-BASED METAINTERPRETER Henning Christiansen, Department…
Cited by 13 (9 self) – Add To MetaCart

CHR as grammar formalism, a first report
by Henning Christiansen — 2001 — Sixth Annual Workshop of the ERCIM Working Group on Constraints
… Christiansen Roskilde University, Computer Science Dept., P.O.Box 260, DK-4000 Roskilde, Denmark E…
Cited by 3 (1 self) – Add To MetaCart

Declarative Semantics of a Meta-Programming Language
by Henning Christiansen — 1990 — Proc. of the Second Workshop on Meta-programming in Logic. April 4–6
…Declarative semantics of a meta-programming language ? Henning Christiansen Roskilde University…
Cited by 5 (4 self) – Add To MetaCart

Deriving Declarations From Programs
by Henning Christiansen — 1997 — Roskilde University
…Deriving declarations from programs Henning Christiansen Department of Computer Science, Roskilde…
Cited by 1 (0 self) – Add To MetaCart

Integrity Constraints and Constraint Logic Programming
by Henning Christiansen — 1999 — In INAP Organnizing Committee, editor, Proceedings of 12th International Conference on Applications of Prolog (INAP'99
…Integrity constraints and constraint logic programming Henning Christiansen Roskilde University…
Cited by 3 (2 self) – Add To MetaCart

Implicit program synthesis by a reversible metainterpreter
by Henning Christiansen — 1998 — Proc. of LOPSTR’97, volume 1463 of LNCS
…Implicit program synthesis by a reversible metainterpreter Henning Christiansen Department…
Cited by 2 (1 self) – Add To MetaCart

Logical grammars based on constraint handling rules
by Henning Christiansen — 2002 — 18th International Conference on Logic Programming
…Logical grammars based on constraint handling rules Henning Christiansen Roskilde University…
Cited by 7 (3 self) – Add To MetaCart

Abductive Language Interpretation as Bottom-Up Deduction
by Henning Christiansen — 2002 — Natural Language Understanding and Logic Programming, volume 92 of Datalogiske Skrifter
…Abductive language interpretation as bottom-up deduction Henning Christiansen Roskilde University…
Cited by 10 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB