×

zbMATH — the first resource for mathematics

Tarlecki, Andrzej

Compute Distance To:
Author ID: tarlecki.andrzej Recent zbMATH articles by "Tarlecki, Andrzej"
Published as: Tarlecki, A.; Tarlecki, Andrzej
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 76 Publications since 1983, including 12 Books

Publications by Year

Citations contained in zbMATH

57 Publications have been cited 549 times in 254 Documents Cited by Year
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
62
1988
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
46
2012
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
30
1988
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
28
1987
On the existence of free models in abstract algebraic institutions. Zbl 0608.68014
Tarlecki, Andrzej
27
1985
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033
Tarlecki, Andrzej
22
1986
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
20
1992
Bits and pieces of the theory of institutions. Zbl 0636.68029
Tarlecki, Andrzej
16
1986
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
15
1994
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
14
2009
Towards heterogeneous specifications. Zbl 0988.03056
Tarlecki, Andrzej
14
2000
Essential concepts of algebraic specification and program development. Zbl 0887.68070
Sannella, Donald; Tarlecki, Andrzej
13
1997
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
10
2005
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
The definition of Extended ML: A gentle introduction. Zbl 0901.68024
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
8
1997
A three-valued logic for software specification and validation. Zbl 0771.68087
Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej
8
1991
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
8
1985
Structure and representation in LF. Zbl 0716.68078
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
7
1989
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
7
1988
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
7
1988
Building specifications in an arbitrary institution. Zbl 0552.68015
Sannella, Donald; Tarlecki, Andrzej
7
1984
Algebraic preliminaries. Zbl 0945.68129
Sannella, Donald; Tarlecki, Andrzej
6
1999
Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015
Sannelly, Donald; Tarlecki, Andrzej
6
1986
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
5
1997
A language of specified programs. Zbl 0559.68023
Tarlecki, Andrzej
5
1985
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
4
2011
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
4
2009
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
2003
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
4
1987
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
Naive denotational semantics. Zbl 0514.68021
Blikle, Andrzej; Tarlecki, Andrzej
4
1983
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
3
1994
Comparison of subset systems. Zbl 0657.06009
Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A.
3
1988
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
3
1988
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
3
1985
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
Constructive data refinement in typed lambda calculus. Zbl 0965.68012
Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej
2
2000
Institutions: An abstract framework for formal specifications. Zbl 0945.68130
Tarlecki, Andrzej
2
1999
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
1
2014
Horizontal composability revisited. Zbl 1132.68340
Sannella, Donald; Tarlecki, Andrzej
1
2006
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005
Fitzgerald, John (ed.); Hayes, Ian J. (ed.); Tarlecki, Andrzej (ed.)
1
2005
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers. Zbl 1154.68304
Astesiano, Egidio (ed.); Reggio, Gianna (ed.); Tarlecki, Andrzej (ed.)
1
1995
Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030
Tarlecki, Andrzej (ed.)
1
1991
Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102
Sannella, Donald; Tarlecki, Andrzej
1
1990
Some thoughts on algebraic specification. Zbl 0584.68036
Sannella, Donald; Tarlecki, Andrzej
1
1985
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
1
2014
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
46
2012
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
4
2011
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
14
2009
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
4
2009
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
8
2008
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
Horizontal composability revisited. Zbl 1132.68340
Sannella, Donald; Tarlecki, Andrzej
1
2006
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
10
2005
Amalgamation in the semantics of CASL. Zbl 1070.68094
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
5
2005
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005
Fitzgerald, John (ed.); Hayes, Ian J. (ed.); Tarlecki, Andrzej (ed.)
1
2005
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
4
2003
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
8
2002
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
Towards heterogeneous specifications. Zbl 0988.03056
Tarlecki, Andrzej
14
2000
Constructive data refinement in typed lambda calculus. Zbl 0965.68012
Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej
2
2000
Algebraic preliminaries. Zbl 0945.68129
Sannella, Donald; Tarlecki, Andrzej
6
1999
Institutions: An abstract framework for formal specifications. Zbl 0945.68130
Tarlecki, Andrzej
2
1999
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
Essential concepts of algebraic specification and program development. Zbl 0887.68070
Sannella, Donald; Tarlecki, Andrzej
13
1997
The definition of Extended ML: A gentle introduction. Zbl 0901.68024
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
8
1997
Combining and representing logical systems. Zbl 0881.03044
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
5
1997
Recent trends in data type specification. 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994. Selected papers. Zbl 1154.68304
Astesiano, Egidio (ed.); Reggio, Gianna (ed.); Tarlecki, Andrzej (ed.)
1
1995
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
15
1994
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
3
1994
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
20
1992
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
A three-valued logic for software specification and validation. Zbl 0771.68087
Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej
8
1991
Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030
Tarlecki, Andrzej (ed.)
1
1991
Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102
Sannella, Donald; Tarlecki, Andrzej
1
1990
Structure and representation in LF. Zbl 0716.68078
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
7
1989
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
62
1988
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
30
1988
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
7
1988
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
7
1988
Comparison of subset systems. Zbl 0657.06009
Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A.
3
1988
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
3
1988
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
28
1987
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
4
1987
Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033
Tarlecki, Andrzej
22
1986
Bits and pieces of the theory of institutions. Zbl 0636.68029
Tarlecki, Andrzej
16
1986
Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015
Sannelly, Donald; Tarlecki, Andrzej
6
1986
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
On the existence of free models in abstract algebraic institutions. Zbl 0608.68014
Tarlecki, Andrzej
27
1985
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
8
1985
A language of specified programs. Zbl 0559.68023
Tarlecki, Andrzej
5
1985
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
3
1985
Some thoughts on algebraic specification. Zbl 0584.68036
Sannella, Donald; Tarlecki, Andrzej
1
1985
Building specifications in an arbitrary institution. Zbl 0552.68015
Sannella, Donald; Tarlecki, Andrzej
7
1984
Naive denotational semantics. Zbl 0514.68021
Blikle, Andrzej; Tarlecki, Andrzej
4
1983
all top 5

Cited by 267 Authors

27 Diaconescu, Răzvan
21 Tarlecki, Andrzej
18 Mossakowski, Till
16 Sannella, Donald T.
13 Hennicker, Rolf
10 Rabe, Florian
9 Madeira, Alexandre
8 Bidoit, Michel
7 Gaĭnă, Daniel
7 Martins, Manuel António
7 Roggenbach, Markus
6 Barbosa, Luís Soares
6 Bergstra, Jan A.
6 Middelburg, Cornelis A.
5 Horozal, Fulya
5 Meseguer Guaita, José
5 Orejas, Fernando
5 Schröder, Lutz
5 Wirsing, Martin
4 Aiguier, Marc
4 Astesiano, Egidio
4 Dershowitz, Nachum
4 Futatsugi, Kokichi
4 Knapp, Alexander
4 Maibaum, Thomas Stephen Edward
4 Mosses, Peter D.
4 Navarro, Marisa
4 Ogata, Kazuhiro
4 Oriat, C.
4 Struth, Georg
4 Ţuţu, Ionuţ
3 Autexier, Serge
3 Bernot, Gilles
3 Cerioli, Maura
3 Codescu, Mihai
3 Fiadeiro, José Luiz
3 Goguen, Joseph Amadee
3 Kirchner, Hélène
3 Kohlhase, Michael
3 Konikowska, Beata
3 Krieg-Brückner, Bernd
3 Kutz, Oliver
3 Meinke, Karl
3 Parisi-Presicce, Francesco
3 Petria, Marius
3 Popescu, Andrei
3 Roşu, Grigore
2 Adámek, Jiří
2 Bauer, Sebastian S.
2 Borzyszkowski, Tomasz
2 Ehrig, Hartmut
2 Große-Rhode, Martin
2 Harper, Robert
2 Haxthausen, Anne Elisabeth
2 Hutter, Dieter
2 Kahrs, Stefan Michael
2 Knapik, Teodor
2 Kurz, Alexander
2 Lambers, Leen
2 Lucanu, Dorel
2 Martins Moreira, Anamaria
2 Nikitchenko, Mykola S.
2 Pino, Elvira
2 Reggio, Gianna
2 Sánchez, Ana M.
2 Sojakova, Kristina
2 Veloso, Paulo Augusto S.
2 Veloso, Sheila R. M.
2 Worytkiewicz, Krzysztof
1 Abrusci, Vito Michele
1 Aguirre, Nazareno M.
1 Ah-kee, Alain
1 Anders, Gerrit
1 Andon, F. I.
1 Areces, Carlos
1 Arusoaie, Andrei
1 Aspinall, David
1 Atif, Jamal
1 Avenhaus, Jürgen
1 Avron, Arnon
1 Babenyshev, Sergey
1 Bachmair, Leo
1 Barbier, Franck
1 Baumeister, Hubert
1 Beketov, A. G.
1 Belzner, Lenz
1 Bettaz, Mohamed
1 Beyersdorff, Olaf
1 Bjørner, Dines
1 Blikle, Andrzej Jacek
1 Bloch, Isabelle
1 Boehm, Paul
1 Bonacina, Maria Paola
1 Boronat, Artur
1 Bouhoula, Adel
1 Boy de la Tour, Thierry
1 Burstall, Rod M.
1 Busch, Marianne
1 Castro, Pablo F.
1 Cengarle, María Victoria
...and 167 more Authors
all top 5

Cited in 43 Serials

68 Theoretical Computer Science
13 Information Processing Letters
12 MSCS. Mathematical Structures in Computer Science
10 Acta Informatica
10 The Journal of Logic and Algebraic Programming
9 Formal Aspects of Computing
8 Logica Universalis
8 Journal of Logical and Algebraic Methods in Programming
7 Studia Logica
7 Information and Computation
4 Journal of Computer and System Sciences
4 Journal of Symbolic Computation
3 Diagrammes
3 Journal of Applied Logic
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Applied Categorical Structures
2 Annals of Mathematics and Artificial Intelligence
2 RAIRO. Theoretical Informatics and Applications
2 ACM Transactions on Computational Logic
2 The Review of Symbolic Logic
1 Artificial Intelligence
1 Mathematical Biosciences
1 Fuzzy Sets and Systems
1 Journal of Pure and Applied Algebra
1 The Journal of Symbolic Logic
1 Annals of Pure and Applied Logic
1 Journal of Automated Reasoning
1 Annals of Operations Research
1 International Journal of Algebra and Computation
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 Mathematical Logic Quarterly (MLQ)
1 The Bulletin of Symbolic Logic
1 Computer Science Journal of Moldova
1 Constraints
1 Theory of Computing Systems
1 Soft Computing
1 Computer Languages, Systems & Structures
1 Electronic Notes in Theoretical Computer Science
1 Mathematics in Computer Science
1 Logical Methods in Computer Science
1 Tbilisi Mathematical Journal

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.