 | 2011 |
|---|
| 9 |       | Gopal Gupta,
Neda Saeedloei,
Brian W. DeVries,
Richard Min,
Kyle Marple,
Feliks Kluzniak:
Infinite Computation, Co-induction and Computational Logic.
CALCO 2011: 40-54 |
| 1997 |
|---|
| 8 | | Feliks Kluzniak,
Miroslawa Milkowska:
Spill - A Logic Language for Writing Testable Requirements Specifications.
Sci. Comput. Program. 28(2-3): 193-223 (1997) |
| 1994 |
|---|
| 7 | | Feliks Kluzniak,
Miroslawa Milkowska:
Readable, Runnable Requirements Specifications in SPILL-2.
PLILP 1994: 449-450 |
| 1991 |
|---|
| 6 |  | Andreas Kågedal,
Feliks Kluzniak:
Enriching Prolog with S-Unification.
Declarative Programming 1991: 51-65 |
| 1988 |
|---|
| 5 | | Feliks Kluzniak:
Compile Time Garbage Collection for Ground Prolog.
ICLP/SLP 1988: 1490-1505 |
| 4 | | Feliks Kluzniak,
Miroslawa Milkowska:
Towards a "Middle Road" Methodology for Writing Code Generators.
PLILP 1988: 105-118 |
| 1987 |
|---|
| 3 | | Feliks Kluzniak:
Type Synthesis for Ground Prolog.
ICLP 1987: 788-816 |
| 1984 |
|---|
| 2 | | Feliks Kluzniak:
The 'Marseille Interpreter' - a Personal Perspective.
Implementations of Prolog 1984: 65-70 |
| 1 | | Feliks Kluzniak,
Stan Szpakowicz:
Prolog - a Panacea?
Implementations of Prolog 1984: 71-84 |
Data released under the ODC-BY 1.0 license — See also our legal information page