Staffan Bonnier

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1997
c5		Staffan Bonnier, Tim Heyer: COMPASS: A Comprehensible Assertion Method. TAPSOFT 1997: 803-817
	1992
c4		Staffan Bonnier, Jonas Wallgren: Logic Programs with Polymorphic Types: A condition for static type checking. CTRS 1992: 438-447
	1991
j2		Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund: A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Inf. Process. Lett. 40(2): 73-78 (1991)
c3		Staffan Bonnier: Unification in Incompletely Specified Theories: A Case Study. MFCS 1991: 84-92
	1988
j1		Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski: Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27(3): 159-165 (1988)
c2		Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326
c1		Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP 1988: 20-34

Coauthor Index

Last update Sat May 18 16:57:23 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page