Schreier split extensions of preordered monoids

Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related between them by appropriate functors as well as with the categories of preordered sets and of monoids. Schreier split extensions are described i...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 120; p. 100643
Main Authors Martins-Ferreira, Nelson, Sobral, Manuela
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.04.2021
Online AccessGet full text

Cover

Loading…
Abstract Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related between them by appropriate functors as well as with the categories of preordered sets and of monoids. Schreier split extensions are described in the full subcategory of preordered monoids whose preorder is determined by the corresponding positive cone.
AbstractList Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related between them by appropriate functors as well as with the categories of preordered sets and of monoids. Schreier split extensions are described in the full subcategory of preordered monoids whose preorder is determined by the corresponding positive cone.
ArticleNumber 100643
Author Martins-Ferreira, Nelson
Sobral, Manuela
Author_xml – sequence: 1
  givenname: Nelson
  surname: Martins-Ferreira
  fullname: Martins-Ferreira, Nelson
  email: martins.ferreira@ipleiria.pt
  organization: Instituto Politécnico de Leiria, Leiria, Portugal
– sequence: 2
  givenname: Manuela
  orcidid: 0000-0001-9289-6147
  surname: Sobral
  fullname: Sobral, Manuela
  email: sobral@mat.uc.pt
  organization: Universidade de Coimbra, CMUC e Departamento de Matemática, Coimbra, Portugal
BookMark eNqFkD1PwzAQhj0UiVL6C1jyB5L6I27igQFVfEmVGIDZcuyzcJTEkW0h-Pe4hIkBppPuvedOz12g1eQnQOiK4Ipgst_1VT-oca4opiR38L5mK7SmjNOSUtyeo22MPcZ5tG1aRtZo96zfAjgIRZwHlwr4SDBF56dYeFvMAXwwEMAUo5-8M_ESnVk1RNj-1A16vbt9OTyUx6f7x8PNsdSs4alkqmM1g05YBrYGZfNF3mnVtBwss4IKDLwVRnSn0GiLc8o14YxiQSxnG8SWvTr4GANYOQc3qvApCZYnVdnLb1V5UpWLaqbEL0q7pFLWSUG54R_2emEha73nj8ioHUwajAugkzTe_cl_AfYTdRk
CitedBy_id crossref_primary_10_1007_s00233_024_10483_1
crossref_primary_10_1007_s00233_024_10497_9
Cites_doi 10.1007/s00233-019-10070-9
10.1515/GMJ.1998.575
10.1007/BF02315974
10.2989/QM.2008.31.2.2.474
10.1016/0022-4049(92)90104-N
10.1016/0021-8693(82)90002-3
10.1016/0021-8693(88)90067-1
10.2989/16073606.2018.1448308
10.1081/AGB-120006484
10.1016/0016-660X(74)90016-6
10.1007/s00233-014-9571-6
10.1016/j.jpaa.2019.01.006
10.2307/1969317
10.1007/s10485-008-9167-y
10.1007/BF02679467
10.1016/j.jpaa.2012.06.022
10.1017/S0004972700006353
ContentType Journal Article
Copyright 2021 Elsevier Inc.
Copyright_xml – notice: 2021 Elsevier Inc.
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2021.100643
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 10_1016_j_jlamp_2021_100643
S2352220821000067
GrantInformation_xml – fundername: Fundação para a Ciência e a Tecnologia (FCT) and Centro2020
  grantid: 022158; 17963
– fundername: Centre for Mathematics of the University of Coimbra
  grantid: UIDB/MAT/00324/2020
– fundername: CDRSP
– fundername: MATIS
  grantid: CENTRO-01-0145-FEDER-000014 - 3362
– fundername: ESTG
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AACTN
AAEDT
AAEDW
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAXUO
AAYFN
ABBOA
ABMAC
ABVKL
ABXDB
ABYKQ
ACDAQ
ACGFS
ACRLP
ADBBV
ADEZE
AEBSH
AEKER
AENEX
AFKWA
AFTJW
AGHFR
AGUBO
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
AXJTR
BKOJK
BLXMC
EBS
EFJIC
EFLBG
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
NCXOZ
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSV
SSZ
T5K
~G-
AATTM
AAXKI
AAYWO
AAYXX
ABJNI
ACVFH
ADCNI
ADVLN
AEIPS
AEUPX
AFJKZ
AFPUW
AFXIZ
AGCQF
AGRNS
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
BNPGV
CITATION
SSH
ID FETCH-LOGICAL-c375t-3ab343eb9f3ef4eaf0165bca785ef3f9290e589d9b4eafdcf05bc5c1532091f53
IEDL.DBID AIKHN
ISSN 2352-2208
IngestDate Tue Jul 01 05:06:49 EDT 2025
Thu Apr 24 22:51:31 EDT 2025
Fri Feb 23 02:46:36 EST 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c375t-3ab343eb9f3ef4eaf0165bca785ef3f9290e589d9b4eafdcf05bc5c1532091f53
ORCID 0000-0001-9289-6147
OpenAccessLink http://hdl.handle.net/10400.8/8254
ParticipantIDs crossref_primary_10_1016_j_jlamp_2021_100643
crossref_citationtrail_10_1016_j_jlamp_2021_100643
elsevier_sciencedirect_doi_10_1016_j_jlamp_2021_100643
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate April 2021
2021-04-00
PublicationDateYYYYMMDD 2021-04-01
PublicationDate_xml – month: 04
  year: 2021
  text: April 2021
PublicationDecade 2020
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2021
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
References Leech (br0150) 1975; 157
Garrão, Martins-Ferreira, Raposo, Sobral (br0050) 2020; 100
Mac Lane (br0170) 1998; vol. 5
Pin, Weil (br0220) 2002; 30
Pin, Weil (br0210) 1997; 30
Clementino, Martins-Ferreira, Montoli (br0040) 2019; 223
Bourn, Martins-Ferreira, Montoli, Sobral (br0030) 2014; 88
Green (br0060) 1951; 54
Janda, Vetterlein (br0110) 2019; 42
Wehrung (br0270) 1992; 83
Straubing, Thérien (br0260) 1985; 119
Lack (br0130) 2010; 18
Pin (br0200) 1995; 39
Adámek, Rosický (br0010) 1994
Porst (br0230) 2008; 31
Herrlich (br0100) 1974; 4
Martins-Ferreira, Montoli, Sobral (br0180) 2013; 217
Leech (br0140) 1982; 74
Simon (br0250) 1975; vol. 33
Henckell, Pin (br0090) 2000
Grillet (br0070) 1974; 7
Patchkoria (br0190) 1998; 5
MacDonald, Sobral (br0160) 2004
Hájek (br0080) 1988
Bourn, Martins-Ferreira, Montoli, Sobral (br0020) 2013; vol. 45
Kelly (br0120) 1980; 22
(br0240) 1997
Porst (10.1016/j.jlamp.2021.100643_br0230) 2008; 31
Martins-Ferreira (10.1016/j.jlamp.2021.100643_br0180) 2013; 217
Herrlich (10.1016/j.jlamp.2021.100643_br0100) 1974; 4
Clementino (10.1016/j.jlamp.2021.100643_br0040) 2019; 223
Henckell (10.1016/j.jlamp.2021.100643_br0090) 2000
Pin (10.1016/j.jlamp.2021.100643_br0220) 2002; 30
Leech (10.1016/j.jlamp.2021.100643_br0150) 1975; 157
Bourn (10.1016/j.jlamp.2021.100643_br0030) 2014; 88
Janda (10.1016/j.jlamp.2021.100643_br0110) 2019; 42
Wehrung (10.1016/j.jlamp.2021.100643_br0270) 1992; 83
(10.1016/j.jlamp.2021.100643_br0240) 1997
Mac Lane (10.1016/j.jlamp.2021.100643_br0170) 1998; vol. 5
MacDonald (10.1016/j.jlamp.2021.100643_br0160) 2004
Simon (10.1016/j.jlamp.2021.100643_br0250) 1975; vol. 33
Adámek (10.1016/j.jlamp.2021.100643_br0010) 1994
Grillet (10.1016/j.jlamp.2021.100643_br0070) 1974; 7
Pin (10.1016/j.jlamp.2021.100643_br0210) 1997; 30
Straubing (10.1016/j.jlamp.2021.100643_br0260) 1985; 119
Patchkoria (10.1016/j.jlamp.2021.100643_br0190) 1998; 5
Hájek (10.1016/j.jlamp.2021.100643_br0080) 1988
Pin (10.1016/j.jlamp.2021.100643_br0200) 1995; 39
Bourn (10.1016/j.jlamp.2021.100643_br0020) 2013; vol. 45
Kelly (10.1016/j.jlamp.2021.100643_br0120) 1980; 22
Lack (10.1016/j.jlamp.2021.100643_br0130) 2010; 18
Garrão (10.1016/j.jlamp.2021.100643_br0050) 2020; 100
Green (10.1016/j.jlamp.2021.100643_br0060) 1951; 54
Leech (10.1016/j.jlamp.2021.100643_br0140) 1982; 74
References_xml – volume: 54
  start-page: 163
  year: 1951
  end-page: 172
  ident: br0060
  article-title: On the structure of semigroups
  publication-title: Ann. Math. (2)
– volume: 83
  start-page: 43
  year: 1992
  end-page: 82
  ident: br0270
  article-title: Injective positively ordered monoids I
  publication-title: J. Pure Appl. Algebra
– volume: 18
  start-page: 17
  year: 2010
  end-page: 29
  ident: br0130
  article-title: Note on the construction of free monoids
  publication-title: Appl. Categ. Struct.
– volume: 74
  start-page: 1
  year: 1982
  end-page: 19
  ident: br0140
  article-title: Extending groups by monoids
  publication-title: J. Algebra
– year: 1988
  ident: br0080
  article-title: Metamathematics of Fuzzy Logic
– volume: 42
  start-page: 319
  year: 2019
  end-page: 345
  ident: br0110
  article-title: The coextension of commutative pomonoids and its application to triangular norms
  publication-title: Quaest. Math.
– volume: 119
  start-page: 393
  year: 1985
  end-page: 399
  ident: br0260
  article-title: Partially ordered finite monoids and a theorem of I. Simon
  publication-title: J. Algebra
– volume: 88
  start-page: 739
  year: 2014
  end-page: 752
  ident: br0030
  article-title: Schreier split epimorphisms between monoids
  publication-title: Semigroup Forum
– volume: 4
  start-page: 125
  year: 1974
  end-page: 142
  ident: br0100
  article-title: Topological functors
  publication-title: Gen. Topol. Appl.
– volume: 39
  start-page: 80
  year: 1995
  end-page: 90
  ident: br0200
  article-title: A variety theorem without complementation
  publication-title: Izv. VUZ Math.
– volume: 7
  start-page: 200
  year: 1974
  end-page: 263
  ident: br0070
  article-title: Left coset extensions
  publication-title: Semigroup Forum
– volume: 30
  start-page: 1
  year: 1997
  end-page: 39
  ident: br0210
  article-title: Polynomial closure and unambiguous product
  publication-title: Theory Comput. Syst.
– volume: 31
  start-page: 127
  year: 2008
  end-page: 139
  ident: br0230
  article-title: On categories of monoids, comonoids and bimodules
  publication-title: Quaest. Math.
– year: 1997
  ident: br0240
  publication-title: Handbook of Formal Languages, vol. 1
– volume: 22
  start-page: 1
  year: 1980
  end-page: 83
  ident: br0120
  article-title: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
  publication-title: Bull. Aust. Math. Soc.
– volume: vol. 5
  year: 1998
  ident: br0170
  article-title: Categories for the Working Mathematician
  publication-title: Graduate Texts in Mathematics
– volume: 157
  start-page: 1
  year: 1975
  end-page: 66
  ident: br0150
  article-title: H-coextensions of monoids
  publication-title: Mem. Am. Math. Soc.
– volume: 30
  start-page: 149
  year: 2002
  end-page: 169
  ident: br0220
  article-title: Semidirect product of ordered monoids
  publication-title: Commun. Algebra
– volume: 100
  start-page: 806
  year: 2020
  end-page: 836
  ident: br0050
  article-title: Cancellative conjugation semigroups and monoids
  publication-title: Semigroup Forum
– volume: vol. 33
  start-page: 214
  year: 1975
  end-page: 222
  ident: br0250
  article-title: Piecewise testable events
  publication-title: Proc. 2nd GI Conf.
– volume: 217
  start-page: 334
  year: 2013
  end-page: 347
  ident: br0180
  article-title: Semidirect products and crossed modules in monoids with operations
  publication-title: J. Pure Appl. Algebra
– start-page: 213
  year: 2004
  end-page: 268
  ident: br0160
  article-title: Aspects of monads
  publication-title: Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory
– volume: 5
  start-page: 575
  year: 1998
  end-page: 581
  ident: br0190
  article-title: Crossed semimodules and Schreier internal categories in the category of monoids
  publication-title: Georgian Math. J.
– volume: 223
  start-page: 4226
  year: 2019
  end-page: 4245
  ident: br0040
  article-title: On the categorical behaviour of preordered groups
  publication-title: J. Pure Appl. Algebra
– start-page: 121
  year: 2000
  end-page: 137
  ident: br0090
  article-title: Ordered monoids and J-trivial monoids
  publication-title: Algorithmic Problems in Groups and Semigroups
– volume: vol. 45
  year: 2013
  ident: br0020
  article-title: Schreier Split Epimorphisms in Monoids and in Semirings
  publication-title: Textos de Matemática Série B
– year: 1994
  ident: br0010
  article-title: Locally Presentable and Accessible Categories
– volume: 100
  start-page: 806
  year: 2020
  ident: 10.1016/j.jlamp.2021.100643_br0050
  article-title: Cancellative conjugation semigroups and monoids
  publication-title: Semigroup Forum
  doi: 10.1007/s00233-019-10070-9
– start-page: 121
  year: 2000
  ident: 10.1016/j.jlamp.2021.100643_br0090
  article-title: Ordered monoids and J-trivial monoids
– volume: 5
  start-page: 575
  issue: 6
  year: 1998
  ident: 10.1016/j.jlamp.2021.100643_br0190
  article-title: Crossed semimodules and Schreier internal categories in the category of monoids
  publication-title: Georgian Math. J.
  doi: 10.1515/GMJ.1998.575
– volume: 7
  start-page: 200
  year: 1974
  ident: 10.1016/j.jlamp.2021.100643_br0070
  article-title: Left coset extensions
  publication-title: Semigroup Forum
  doi: 10.1007/BF02315974
– year: 1997
  ident: 10.1016/j.jlamp.2021.100643_br0240
– volume: 31
  start-page: 127
  issue: 2
  year: 2008
  ident: 10.1016/j.jlamp.2021.100643_br0230
  article-title: On categories of monoids, comonoids and bimodules
  publication-title: Quaest. Math.
  doi: 10.2989/QM.2008.31.2.2.474
– start-page: 213
  year: 2004
  ident: 10.1016/j.jlamp.2021.100643_br0160
  article-title: Aspects of monads
– volume: vol. 45
  year: 2013
  ident: 10.1016/j.jlamp.2021.100643_br0020
  article-title: Schreier Split Epimorphisms in Monoids and in Semirings
– year: 1988
  ident: 10.1016/j.jlamp.2021.100643_br0080
– volume: 83
  start-page: 43
  issue: 1
  year: 1992
  ident: 10.1016/j.jlamp.2021.100643_br0270
  article-title: Injective positively ordered monoids I
  publication-title: J. Pure Appl. Algebra
  doi: 10.1016/0022-4049(92)90104-N
– volume: 74
  start-page: 1
  year: 1982
  ident: 10.1016/j.jlamp.2021.100643_br0140
  article-title: Extending groups by monoids
  publication-title: J. Algebra
  doi: 10.1016/0021-8693(82)90002-3
– volume: 119
  start-page: 393
  year: 1985
  ident: 10.1016/j.jlamp.2021.100643_br0260
  article-title: Partially ordered finite monoids and a theorem of I. Simon
  publication-title: J. Algebra
  doi: 10.1016/0021-8693(88)90067-1
– volume: 39
  start-page: 80
  year: 1995
  ident: 10.1016/j.jlamp.2021.100643_br0200
  article-title: A variety theorem without complementation
  publication-title: Izv. VUZ Math.
– volume: 42
  start-page: 319
  issue: 3
  year: 2019
  ident: 10.1016/j.jlamp.2021.100643_br0110
  article-title: The coextension of commutative pomonoids and its application to triangular norms
  publication-title: Quaest. Math.
  doi: 10.2989/16073606.2018.1448308
– volume: 30
  start-page: 149
  issue: 1
  year: 2002
  ident: 10.1016/j.jlamp.2021.100643_br0220
  article-title: Semidirect product of ordered monoids
  publication-title: Commun. Algebra
  doi: 10.1081/AGB-120006484
– volume: 4
  start-page: 125
  year: 1974
  ident: 10.1016/j.jlamp.2021.100643_br0100
  article-title: Topological functors
  publication-title: Gen. Topol. Appl.
  doi: 10.1016/0016-660X(74)90016-6
– volume: 88
  start-page: 739
  year: 2014
  ident: 10.1016/j.jlamp.2021.100643_br0030
  article-title: Schreier split epimorphisms between monoids
  publication-title: Semigroup Forum
  doi: 10.1007/s00233-014-9571-6
– year: 1994
  ident: 10.1016/j.jlamp.2021.100643_br0010
– volume: 223
  start-page: 4226
  year: 2019
  ident: 10.1016/j.jlamp.2021.100643_br0040
  article-title: On the categorical behaviour of preordered groups
  publication-title: J. Pure Appl. Algebra
  doi: 10.1016/j.jpaa.2019.01.006
– volume: 54
  start-page: 163
  issue: 1
  year: 1951
  ident: 10.1016/j.jlamp.2021.100643_br0060
  article-title: On the structure of semigroups
  publication-title: Ann. Math. (2)
  doi: 10.2307/1969317
– volume: 157
  start-page: 1
  year: 1975
  ident: 10.1016/j.jlamp.2021.100643_br0150
  article-title: H-coextensions of monoids
  publication-title: Mem. Am. Math. Soc.
– volume: 18
  start-page: 17
  year: 2010
  ident: 10.1016/j.jlamp.2021.100643_br0130
  article-title: Note on the construction of free monoids
  publication-title: Appl. Categ. Struct.
  doi: 10.1007/s10485-008-9167-y
– volume: 30
  start-page: 1
  year: 1997
  ident: 10.1016/j.jlamp.2021.100643_br0210
  article-title: Polynomial closure and unambiguous product
  publication-title: Theory Comput. Syst.
  doi: 10.1007/BF02679467
– volume: 217
  start-page: 334
  issue: 2
  year: 2013
  ident: 10.1016/j.jlamp.2021.100643_br0180
  article-title: Semidirect products and crossed modules in monoids with operations
  publication-title: J. Pure Appl. Algebra
  doi: 10.1016/j.jpaa.2012.06.022
– volume: vol. 5
  year: 1998
  ident: 10.1016/j.jlamp.2021.100643_br0170
  article-title: Categories for the Working Mathematician
– volume: vol. 33
  start-page: 214
  year: 1975
  ident: 10.1016/j.jlamp.2021.100643_br0250
  article-title: Piecewise testable events
– volume: 22
  start-page: 1
  issue: 1
  year: 1980
  ident: 10.1016/j.jlamp.2021.100643_br0120
  article-title: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
  publication-title: Bull. Aust. Math. Soc.
  doi: 10.1017/S0004972700006353
SSID ssj0001687831
Score 2.204857
Snippet Properties of preordered monoids are investigated and important subclasses of such structures are studied. The corresponding full subcategories are related...
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 100643
Title Schreier split extensions of preordered monoids
URI https://dx.doi.org/10.1016/j.jlamp.2021.100643
Volume 120
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1La8MwDBZde9ll77HuhQ87LiSxnYePpax0G-ulK_QW4he0jLa02f-fnDh7wNhhx8RRiD8rkizkTwB3ETp5k4ks0KguAdc6Dsqc4lYlUVI4xjZZuoT-yyQdz_jTPJl3YNiehXFlld72Nza9ttb-TujRDDeLRTilLnag6MLixujuQY-id4260Bs8Po8nX6mWNM_yujOhEwmcTMs_VFd6LRF7R11JY1czkHL2u4_65ndGR3DgA0YyaL7pGDpmdQKHbTMG4v_NUwinCpcFX0B2GFdWpM5uu1TYjqwt2WxNTbJpNEG9Wy_07gxmo4fX4Tjw3RACxbKkClgpGWdGCsuM5aa07iCSVGWWJ8Yyi2FOZJJcaCHdoFY2wtFExa7zg4htws6hu1qvzAUQk1GJ2zittOAYQFDBZW4jazm3sVIJ7QNt518oTxXuOla8FW1N2LKoQSscaEUDWh_uP4U2DVPG34-nLbDFjwUv0Jb_JXj5X8Er2HdXTdnNNXSr7bu5wYiikrdeYz4Aa4DIRA
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JbsIwELUoHNpL96p09aHHRkm8JPGxQkWhLBdA4mbFmwSqAAH9_9qJ00WqOPSayUTJ82RmPBq_AeApskFepywNlDWXgCgVB0WG7FaFSsEcY5soXEF_OEryKXmb0VkDdOqzMK6t0vv-yqeX3tpfCT2a4Xo-D8fI5Q7IhrC4croHoOXYqayZt156_Xz0XWpJsjQrJxM6lcDp1PxDZafXwmLvqCtR7HoGEoL_jlE_4k73FBz7hBG-VO90Bhp6eQ5O6mEM0P-bFyAcS7ss9gFwa_PKHSyr264UtoUrA9cbXZJsagWt3a3mansJpt3XSScP_DSEQOKU7gJcCEywFsxgbYgujDuIJGSRZlQbbGyaE2maMcWEEyppIiulMnaTH1hsKL4CzeVqqa8B1CkSdhunpGLEJhCIEZGZyBhCTCwlRW2A6u_n0lOFu4kV77zuCVvwEjTuQOMVaG3w_KW0rpgy9t-e1MDyXwvOrS_fp3jzX8VHcJhPhgM-6I36t-DISaoWnDvQ3G0-9L3NLnbiwVvPJ_rAyzM
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Schreier+split+extensions+of+preordered+monoids&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Martins-Ferreira%2C+Nelson&rft.au=Sobral%2C+Manuela&rft.date=2021-04-01&rft.issn=2352-2208&rft.volume=120&rft.spage=100643&rft_id=info:doi/10.1016%2Fj.jlamp.2021.100643&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2021_100643
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon