Peter Nickolas

List of publications from the DBLP Bibliography Server - FAQ

1996

3 EE Peter Nickolas, Peter J. Robinson: The Qu-Prolog Unification Algorithm: Formalisation and Correctness. Theor. Comput. Sci. 169(1): 81-112 (1996)

1994

2 Peter Nickolas: The Completeness of Functional Logic. Formal Asp. Comput. 6(1): 39-59 (1994)

1987

1 Andrzej M. Goscinski, Peter Nickolas: A File Server for the Apple Talk Personal Network. Angewandte Informatik 29(1): 30-35 (1987)

1996
3	EE	Peter Nickolas, Peter J. Robinson: The Qu-Prolog Unification Algorithm: Formalisation and Correctness. Theor. Comput. Sci. 169(1): 81-112 (1996)
1994
2		Peter Nickolas: The Completeness of Functional Logic. Formal Asp. Comput. 6(1): 39-59 (1994)
1987
1		Andrzej M. Goscinski, Peter Nickolas: A File Server for the Apple Talk Personal Network. Angewandte Informatik 29(1): 30-35 (1987)

Coauthor Index

1	Andrzej M. Goscinski (Andrzej Goscinski)	[1]
2	Peter J. Robinson	[3]