Peter Heusch

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

4 Peter Heusch, Stefan Porschen, Ewald Speckenmeyer: Improving a fixed parameter tractability time bound for the shadow problem. J. Comput. Syst. Sci. 67(4): 772-788 (2003)

1999

3 Peter Heusch: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. Discrete Applied Mathematics 96-97: 127-138 (1999)

1995

2 Peter Heusch: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. MFCS 1995: 221-226

1991

1 Peter Heusch, Ewald Speckenmeyer: Some Aspects of the Probabilistic Behavior of Variants of Resolution. CSL 1991: 164-172

	2003
4		Peter Heusch, Stefan Porschen, Ewald Speckenmeyer: Improving a fixed parameter tractability time bound for the shadow problem. J. Comput. Syst. Sci. 67(4): 772-788 (2003)
	1999
3		Peter Heusch: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. Discrete Applied Mathematics 96-97: 127-138 (1999)
	1995
2		Peter Heusch: The Complexity of the Falsifiability Problem for Pure Implicational Formulas. MFCS 1995: 221-226
	1991
1		Peter Heusch, Ewald Speckenmeyer: Some Aspects of the Probabilistic Behavior of Variants of Resolution. CSL 1991: 164-172

Coauthor Index

1 Stefan Porschen [4]

2 Ewald Speckenmeyer [1] [4]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

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