Tomasz Borzyszkowski

	2008
6		Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski: A Multi-facet Approach to Dynamic Agent Systems. Fundam. Inform. 85(1-4): 19-33 (2008)
	2005
5		Tomasz Borzyszkowski: Generalized Interpolation in First Order Logic. Fundam. Inform. 66(3): 199-219 (2005)
	2002
4		Tomasz Borzyszkowski: Logical systems for structured specifications. Theor. Comput. Sci. 286(2): 197-245 (2002)
	2000
3		Tomasz Borzyszkowski: Generalized interpolation in CASL. Inf. Process. Lett. 76(1-2): 19-24 (2000)
	1999
2		Tomasz Borzyszkowski: Higher-Order Logic and Theorem Proving for Structured Specifications. WADT 1999: 401-418
	1998
1		Tomasz Borzyszkowski: Moving Specification Structures Between Logical Systems. WADT 1998: 16-30

Coauthor Index

1	Marek A. Bednarczyk	[6]
2	Luca Bernardinello	[6]
3	Wieslaw Pawlowski	[6]
4	Lucia Pomello	[6]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page