Andrzej Tarlecki (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

36 Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A three-valued logic for software specification and validation. Fundam. Inform. 14(4): 411-453 (1991)

35 Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup: On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90(1): 209-233 (1991)

24 Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A Three-Valued Logic for Software Specification and Validation. VDM Europe 1988: 218-242

1 Andrzej Blikle, Andrzej Tarlecki: Naive Denotational Semantics. IFIP Congress 1983: 345-355

Selection of 4 from 84 records - Andrzej Tarlecki has 72 coauthors

Last update 2012-09-10 CET by the DBLP Team —

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

36		Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A three-valued logic for software specification and validation. Fundam. Inform. 14(4): 411-453 (1991)
35		Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup: On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90(1): 209-233 (1991)
24		Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A Three-Valued Logic for Software Specification and Validation. VDM Europe 1988: 218-242
1		Andrzej Blikle, Andrzej Tarlecki: Naive Denotational Semantics. IFIP Congress 1983: 345-355