Searching for authors named Johan Boye – sorted by Relevance.
-
S-SLD-resolution - An Operational Semantics for Logic Programs with External Procedures
- S-SLD-resolution --- An Operational Semantics for Logic Programs with External Procedures Johan
- Cited by 16 (6 self) – Add To MetaCart
-
Avoiding Dynamic Delays in Functional Logic Programs
- Avoiding Dynamic Delays in Functional Logic Programs Johan Boye Department of Computer
- Cited by 12 (5 self) – Add To MetaCart
-
2003a) Robust parsing of utterances in negotiative dialogue
- Robust Parsing of Utterances in Negotiative Dialogue Johan Boye and Mats Wirén Telia Research 1
- Cited by 2 (2 self) – Add To MetaCart
-
How to do dialogue in a fairy-tale world
- How to do dialogue in a fairy-tale world Johan Boye and Joakim Gustafson TeliaSonera R&D, Sweden
- Add To MetaCart
-
Directional Types and the Annotation Method
- 1 DIRECTIONAL TYPES AND THE ANNOTATION METHOD JOHAN BOYE and JAN MA/LUSZY ' NSKI . A directional
- Cited by 27 (3 self) – Add To MetaCart
-
Directional Types for Logic Programs and the Annotation Method
- Directional types for logic programs and the annotation method Johan Boye , Jan Ma/luszy'nski N 2471 Janvier
- Add To MetaCart
-
Two Aspects of Directional Types
- Two Aspects of Directional Types Johan Boye, Jan Ma/luszy'nski 1 Linkoping University S-581 83
- Cited by 18 (2 self) – Add To MetaCart
-
Multi-slot semantics for natural-language call routing systems
- Multi-slot semantics for natural-language call routing systems Johan Boye and Mats Wirén Telia
- Cited by 1 (1 self) – Add To MetaCart
-
Rewriting Systems
- Rewriting Systems Lecture Notes Johan Boye Jan Ma/luszy'nski Ulf Nilsson October 9, Copyright c
- Add To MetaCart
-
Declarative Diagnosis of Constraint Programs: an assertion-based approach
- Declarative Diagnosis of Constraint Programs: an assertion-based approach Johan Boye, W
- Cited by 6 (1 self) – Add To MetaCart

