MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Jan Maluszynski – sorted by Relevance.

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

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

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

ATOM

Directional Types and the Annotation Method
by Johan Boye, Jan Maluszynski — 1997
…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
by Johan Boye, Jan Maluszynski — 1995
… 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
by Wlodzimierz Drabent, Jan Maluszynski — 1988
… 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
by Johan Boye, Jan Maluszynski — 1995 — Proceedings of the Twelfth International Conference on Logic Programming
…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
by Gary Lindstrom, Jan Maluszynski, Takeshi Ogi — 1992
…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
by François Bry, Wlodzimierz Drabent, Jan Maluszynski — 2004 — In Proc. Workshop on Principles and Practice of Semantic Web Reasoning
…,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
by Johan Boye, W/lodek Drabent, Jan Maluszynski — 1997 — In Proc. of the 3rd. Int'l Workshop on Automated Debugging-- AADEBUG'97
…/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
by Johan Boye, Jan Maluszynski, Ulf Nilsson — 1999
…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
by Johan Boye, Jukka Paakki, Jan Maluszynski — 1993
…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
by Johan Boye, Jukka Paakki, Jan Maluszynski — 1993 — Proceedings of the Third International Workshop on Static Analysis, LNCS 724
… ? Jan Ma/luszy'nski Department of Computer and Information Science Linkoping University S-581 83…
Cited by 18 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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