×
Author ID: tarlecki.andrzej Recent zbMATH articles by "Tarlecki, Andrzej"
Published as: Tarlecki, Andrzej; Tarlecki, A.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

65 Publications have been cited 636 times in 307 Documents Cited by Year
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
75
1988
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
62
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
42
2002
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
35
1988
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
31
1991
On the existence of free models in abstract algebraic institutions. Zbl 0608.68014
Tarlecki, Andrzej
30
1985
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
30
1987
Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033
Tarlecki, Andrzej
26
1986
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
24
1992
Bits and pieces of the theory of institutions. Zbl 0636.68029
Tarlecki, Andrzej
17
1986
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
17
1994
Towards heterogeneous specifications. Zbl 0988.03056
Tarlecki, Andrzej
15
2000
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
15
2009
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
11
2005
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
9
1988
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
9
1988
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
9
2008
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
9
2002
The definition of Extended ML: A gentle introduction. Zbl 0901.68024
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
8
1997
Building specifications in an arbitrary institution. Zbl 0552.68015
Sannella, Donald; Tarlecki, Andrzej
7
1984
A three-valued logic for software specification and validation. Zbl 0771.68087
Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej
7
1991
Algebraic preliminaries. Zbl 0945.68129
Sannella, Donald; Tarlecki, Andrzej
6
1999
A language of specified programs. Zbl 0559.68023
Tarlecki, Andrzej
6
1985
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
6
1987
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
6
2003
Structure and representation in LF. Zbl 0716.68078
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
6
1989
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
6
2011
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; Tarlecki, Andrzej
5
1985
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
5
2009
Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015
Sannelly, Donald; Tarlecki, Andrzej
5
1986
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
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
5
2007
Comparison of subset systems. Zbl 0657.06009
Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A.
4
1988
Naive denotational semantics. Zbl 0514.68021
Blikle, Andrzej; Tarlecki, Andrzej
4
1983
Combining and representing logical systems using model-theoretic parchments. Zbl 0907.03030
Mossakowski, Till; Tarlecki, Andrzej; Pawłowski, Wiesław
4
1998
A simple refinement language for Casl. Zbl 1118.68560
Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
4
2005
Continuous abstract data types. Zbl 0624.68024
Tarlecki, Andrzej; Wirsing, Martin
4
1986
Institutions: An abstract framework for formal specifications. Zbl 0945.68130
Tarlecki, Andrzej
3
1999
Semantics of architectural specifications in CASL. Zbl 0977.68744
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej; Klin, Bartek; Hoffman, Piotr
3
2001
Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Zbl 1175.68014
3
2009
Continuous abstract data types: basic machinery and results. Zbl 0571.68014
Tarlecki, Andrzej; Wirsing, Martin
3
1985
The semantics of extended ML: A gentle introduction. Zbl 0813.68132
Kahrs, Stefan; Sannella, Donald; Tarlecki, Andrzej
3
1994
Logic representation in LF. Report on work in progress. Zbl 1496.03055
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
3
1989
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
2
1988
Constructive data refinement in typed lambda calculus. Zbl 0965.68012
Honsell, Furio; Longley, John; Sannella, Donald; Tarlecki, Andrzej
2
2000
Amalgamation in CASL via enriched signatures. Zbl 0986.68015
Schröder, Lutz; Mossakowski, Till; Tarlecki, Andrzej
2
2001
Global development via local observational construction steps. Zbl 1014.68099
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
2
2002
Toward formal development of programs from algebraic specifications: model-theoretic foundations. Zbl 1425.68082
Sannella, Donald; Tarlecki, Andrzej
2
1992
Behavioural satisfaction and equivalence in concrete model categories. Zbl 1508.68207
Bidoit, Michel; Tarlecki, Andrzej
2
1996
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
2
2014
Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers. Zbl 0653.00015
1
1988
Horizontal composability revisited. Zbl 1132.68340
Sannella, Donald; Tarlecki, Andrzej
1
2006
Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9–13, 2007. Proceedings. Zbl 1119.68002
1
2007
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
1
1995
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Zbl 1078.68005
1
2005
Some thoughts on algebraic specification. Zbl 0584.68036
Sannella, Donald; Tarlecki, Andrzej
1
1985
Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Zbl 1060.68004
1
2004
Algebraic specification and formal methods for program development: What are the real problems! Zbl 0744.68102
Sannella, Donald; Tarlecki, Andrzej
1
1990
Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030
1
1991
The institution-theoretic scope of logic theorems. Zbl 1338.03073
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej
1
2014
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
Checking amalgamability conditions for CASL architectural specifications. Zbl 0999.68506
Klin, Bartek; Hoffman, Piotr; Tarlecki, Andrzej; Schöder, Lutz; Mossakowski, Till
1
2001
A relatively complete calculus for structured heterogeneous specifications. Zbl 1405.68193
Mossakowski, Till; Tarlecki, Andrzej
2
2014
The institution-theoretic scope of logic theorems. Zbl 1338.03073
Diaconescu, Răzvan; Mossakowski, Till; Tarlecki, Andrzej
1
2014
Property-oriented semantics of structured specifications. Zbl 1342.68218
Sannella, Donald; Tarlecki, Andrzej
1
2014
Foundations of algebraic specification and formal software development. Zbl 1237.68129
Sannella, Donald; Tarlecki, Andrzej
62
2012
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
6
2011
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
15
2009
Heterogeneous logical environments for distributed specifications. Zbl 1253.68231
Mossakowski, Till; Tarlecki, Andrzej
5
2009
Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Zbl 1175.68014
3
2009
A heterogeneous approach to UML semantics. Zbl 1143.68373
Cengarle, María Victoria; Knapp, Alexander; Tarlecki, Andrzej; Wirsing, Martin
9
2008
Observational interpretation CASL specifications. Zbl 1141.68026
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
5
2008
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
5
2007
Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9–13, 2007. Proceedings. Zbl 1119.68002
1
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
11
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
1
2005
Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Zbl 1060.68004
1
2004
CASL—The Common algebraic specification language: Semantics and proof theory. Zbl 1104.68365
Mossakowski, Till; Haxthausen, Anne E.; Sannella, Donald; Tarlecki, Andrzej
6
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
42
2002
Architectural specifications in CASL. Zbl 1001.68078
Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej
9
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
15
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
3
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
Behavioural satisfaction and equivalence in concrete model categories. Zbl 1508.68207
Bidoit, Michel; Tarlecki, Andrzej
2
1996
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
1
1995
Structured theory presentations and logic representations. Zbl 0809.03019
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
17
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
24
1992
Toward formal development of programs from algebraic specifications: model-theoretic foundations. Zbl 1425.68082
Sannella, Donald; Tarlecki, Andrzej
2
1992
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
31
1991
A three-valued logic for software specification and validation. Zbl 0771.68087
Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej
7
1991
Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. Zbl 0753.00030
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
6
1989
Logic representation in LF. Report on work in progress. Zbl 1496.03055
Harper, Robert; Sannella, Donald; Tarlecki, Andrzej
3
1989
Specifications in an arbitrary institution. Zbl 0654.68017
Sannella, Donald; Tarlecki, Andrzej
75
1988
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
35
1988
Existence, uniqueness, and construction of rewrite systems. Zbl 0658.68029
Dershowitz, Nachum; Marcus, Leo; Tarlecki, Andrzej
9
1988
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
9
1988
Comparison of subset systems. Zbl 0657.06009
Nelson, E.; Adámek, J.; Jung, A.; Reiterman, J.; Tarlecki, A.
4
1988
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin
2
1988
Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers. Zbl 0653.00015
1
1988
On observational equivalence and algebraic specification. Zbl 0619.68028
Sannella, Donald; Tarlecki, Andrzej
30
1987
Toward formal development of programs from algebraic specifications: implementations revisited. Zbl 0614.68013
Sannella, Donald; Tarlecki, Andrzej
6
1987
Quasi-varieties in abstract algebraic institutions. Zbl 0622.68033
Tarlecki, Andrzej
26
1986
Bits and pieces of the theory of institutions. Zbl 0636.68029
Tarlecki, Andrzej
17
1986
Extended ML: an institution-independent framework for formal program development. Zbl 0616.68015
Sannelly, Donald; Tarlecki, Andrzej
5
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
30
1985
A language of specified programs. Zbl 0559.68023
Tarlecki, Andrzej
6
1985
On observational equivalence and algebraic specification. Zbl 0563.68017
Sannella, Donald; 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 316 Authors

31 Diaconescu, Răzvan
23 Tarlecki, Andrzej
21 Hennicker, Rolf
21 Mossakowski, Till
18 Sannella, Donald T.
11 Bidoit, Michel
11 Madeira, Alexandre
11 Rabe, Florian
8 Gaĭnă, Daniel
8 Knapp, Alexander
7 Bergstra, Jan A.
7 Martins, Manuel António
7 Middelburg, Cornelis A.
7 Roggenbach, Markus
7 Wirsing, Martin
6 Barbosa, Luís Soares
6 Mosses, Peter D.
6 Orejas, Fernando
5 Dershowitz, Nachum
5 Horozal, Fulya
5 Meseguer Guaita, José
5 Oriat, Catherine
5 Schröder, Lutz
4 Aiguier, Marc
4 Astesiano, Egidio
4 Codescu, Mihai
4 Ehrig, Hartmut
4 Futatsugi, Kokichi
4 Kirchner, Hélène
4 Kutz, Oliver
4 Maibaum, Thomas Stephen Edward
4 Navarro, Marisa
4 Ogata, Kazuhiro
4 Struth, Georg
4 Ţuţu, Ionuţ
3 Autexier, Serge
3 Cengarle, María Victoria
3 Cerioli, Maura
3 Goguen, Joseph Amadee
3 Harper, Robert
3 Kohlhase, Michael
3 Konikowska, Beata
3 Krieg-Brückner, Bernd
3 Petria, Marius
3 Popescu, Andrei
3 Roşu, Grigore
2 Adámek, Jiří
2 Bauer, Sebastian S.
2 Baumeister, Hubert
2 Bernot, Gilles
2 Bian, Jinting
2 Bonacina, Maria Paola
2 Borzyszkowski, Tomasz
2 Boy de la Tour, Thierry
2 Capretta, Venanzio
2 de Boer, Frank S.
2 De Gouw, Stijn
2 Fiadeiro, José Luiz
2 Gaudel, Marie-Claude
2 Große-Rhode, Martin
2 Haveraaen, Magne
2 Haxthausen, Anne Elisabeth
2 Hiep, Hans-Dieter A.
2 Hoare, C. A. R. Tony
2 Hofmann, Martin
2 Hutter, Dieter
2 Jeřábek, Emil
2 Kahrs, Stefan Michael
2 Knapik, Teodor
2 Kurz, Alexander
2 Lambers, Leen
2 Lucanu, Dorel
2 Martins Moreira, Anamaria
2 Meinke, Karl
2 Möller, Bernhard
2 Nikitchenko, Mykola S.
2 Pino, Elvira
2 Reggio, Gianna
2 Schroeder, Andreas
2 Sojakova, Kristina
2 Worytkiewicz, Krzysztof
1 Aameri, Bahar
1 Abrusci, Vito Michele
1 Aguirre, Nazareno M.
1 Ah-kee, Alain
1 Anders, Gerrit
1 Andon, F. I.
1 Andon, P. I.
1 Areces, Carlos
1 Arusoaie, Andrei
1 Aspinall, David
1 Atif, Jamal
1 Aucher, Guillaume
1 Avron, Arnon
1 Babenyshev, Sergey
1 Badia, Guillermo
1 Barbier, Franck
1 Beketov, A. G.
1 Belzner, Lenz
1 Bettaz, Mohamed
...and 216 more Authors
all top 5

Cited in 47 Serials

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

Citations by Year

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