dblp.uni-trier.dewww.uni-trier.de

Staffan Bonnier Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
7EEStaffan Bonnier, Tim Heyer: COMPASS: A Comprehensible Assertion Method. TAPSOFT 1997: 803-817
1992
6 Staffan Bonnier, Jonas Wallgren: Logic Programs with Polymorphic Types: A condition for static type checking. CTRS 1992: 438-447
1991
5EEStaffan Bonnier: Unification in Incompletely Specified Theories: A Case Study. MFCS 1991: 84-92
4 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)
1988
3 Staffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. ICLP/SLP 1988: 311-326
2EEStaffan Bonnier, Jan Maluszynski: Towards a Clean Amalgamation of Logic Programs with External Procedures. PLILP 1988: 20-34
1 Jacek Leszczylowski, Staffan Bonnier, Jan Maluszynski: Logic Programming with External Procedures: Introducing S-Unification. Inf. Process. Lett. 27(3): 159-165 (1988)

Coauthor Index

1Tim Heyer [7]
2Jacek Leszczylowski [1]
3Jan Maluszynski [1] [2] [3]
4Torbjörn Näslund [4]
5Ulf Nilsson [4]
6Jonas Wallgren [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)