Searching for authors named Jan Maluszynski – sorted by Relevance.
-
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
-
Inductive Assertion Method For Logic Programs
- and Jan Ma/luszy'nski 2 ABSTRACT Certain properties of logic programs are inexpressible in terms
- Cited by 53 (12 self) – 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
-
Our LIPS Are Sealed: Interfacing Logic and Functional Programming Systems
- Our LIPS Are Sealed: Interfacing Logic and Functional Programming Systems Gary Lindstrom 1 Jan
- Add To MetaCart
-
On Subtyping of Tree-structured Data - A Polynomial Approach
- ,3 , and Jan Ma̷luszyński 3 1 Ludwig-Maximilians-Universität München, Institut für Informatik, Oettingenstr. 67
- Cited by 5 (4 self) – Add To MetaCart
-
Declarative Diagnosis of Constraint Programs: an assertion-based approach
- /lodek Drabent, Jan Ma/luszy'nski April 21, 1997 Abstract This paper discusses adaptation of the declarative
- Cited by 6 (1 self) – Add To MetaCart
-
Rewriting Systems
- Rewriting Systems Lecture Notes Johan Boye Jan Ma/luszy'nski Ulf Nilsson September 1999 Contents
- Cited by 2 (0 self) – Add To MetaCart
-
Dependency-Based Groundness Analysis of Functional Logic Programs
- Dependency-based groundness analysis of functional logic programs Johan Boye Jukka Paakki y Jan
- Cited by 1 (1 self) – Add To MetaCart
-
Synthesis of Directionality Information for Functional Logic Programs
- ? Jan Ma/luszy'nski Department of Computer and Information Science Linkoping University S-581 83
- Cited by 18 (1 self) – Add To MetaCart

