A (co)algebraic theory of succinct automata

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 105; pp. 112 - 125
Main Authors van Heerdt, Gerco, Moerman, Joshua, Sammartino, Matteo, Silva, Alexandra
Format Journal Article
LanguageEnglish
Published 01.06.2019
Online AccessGet full text
ISSN2352-2208
DOI10.1016/j.jlamp.2019.02.008

Cover

Author Moerman, Joshua
Silva, Alexandra
van Heerdt, Gerco
Sammartino, Matteo
Author_xml – sequence: 1
  givenname: Gerco
  surname: van Heerdt
  fullname: van Heerdt, Gerco
– sequence: 2
  givenname: Joshua
  surname: Moerman
  fullname: Moerman, Joshua
– sequence: 3
  givenname: Matteo
  surname: Sammartino
  fullname: Sammartino, Matteo
– sequence: 4
  givenname: Alexandra
  surname: Silva
  fullname: Silva, Alexandra
BookMark eNp9j7FOwzAQhj0UiVL6BCwZQSjhbCeNPVYVFKRKLDBb14sDiZK4st2hb48LTAzccsPd9-v_rthscpNl7IZDwYGvHvqiH3A8FAK4LkAUAGrG5kJWIhcC1CVbhtADpFdVK8nn7H6d3ZK7w-HD7j12lMVP6_wpc20WjkTdRDHDY3QjRrxmFy0OwS5_94K9Pz2-bZ7z3ev2ZbPe5SR0GXMppNKIkgQpsZIKG7mXsq1IW42k6pLSpVEEVRrLhSbdNmXdVLYuU6tKLpj8ySXvQvC2NQffjehPhoM5a5refGuas6YBYZJmovQfirqIsXNTTGLDv-wXwIddWA
CitedBy_id crossref_primary_10_4204_EPTCS_351_18
Cites_doi 10.1016/0890-5401(91)90052-4
10.1016/S0304-3975(00)00056-6
10.1112/blms/7.3.294
10.1016/S0019-9958(61)80020-X
10.1016/j.tcs.2015.03.035
10.1145/2713167
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2019.02.008
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 125
ExternalDocumentID 10_1016_j_jlamp_2019_02_008
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AFXIZ
AGCQF
AGHFR
AGRNS
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
BNPGV
CITATION
EBS
EFJIC
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSH
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c294t-32389aa3c2c82638ad3b33f5c9e9ac874cc2cd8c05555e129c9fd47d5e7487853
ISSN 2352-2208
IngestDate Tue Jul 01 00:37:50 EDT 2025
Thu Apr 24 23:14:01 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c294t-32389aa3c2c82638ad3b33f5c9e9ac874cc2cd8c05555e129c9fd47d5e7487853
OpenAccessLink https://doi.org/10.1016/j.jlamp.2019.02.008
PageCount 14
ParticipantIDs crossref_primary_10_1016_j_jlamp_2019_02_008
crossref_citationtrail_10_1016_j_jlamp_2019_02_008
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2019-06-00
PublicationDateYYYYMMDD 2019-06-01
PublicationDate_xml – month: 06
  year: 2019
  text: 2019-06-00
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2019
References Silva (10.1016/j.jlamp.2019.02.008_br0200) 2010; vol. 8
Rutten (10.1016/j.jlamp.2019.02.008_br0180) 2000; 249
Angluin (10.1016/j.jlamp.2019.02.008_br0030) 2015
Arbib (10.1016/j.jlamp.2019.02.008_br0040) 1975; 13
Jacobs (10.1016/j.jlamp.2019.02.008_br0120) 2012
Denis (10.1016/j.jlamp.2019.02.008_br0100) 2002; 51
Dorsch (10.1016/j.jlamp.2019.02.008_br0110)
Vuillemin (10.1016/j.jlamp.2019.02.008_br0240) 2010
Moggi (10.1016/j.jlamp.2019.02.008_br0160) 1991; 93
Schützenberger (10.1016/j.jlamp.2019.02.008_br0190) 1961; 4
Adámek (10.1016/j.jlamp.2019.02.008_br0020) 1994; vol. 189
Adámek (10.1016/j.jlamp.2019.02.008_br0010) 2012
Bertrand (10.1016/j.jlamp.2019.02.008_br0050)
Silva (10.1016/j.jlamp.2019.02.008_br0210) 2013; 9
Moerman (10.1016/j.jlamp.2019.02.008_br0150) 2017
Myers (10.1016/j.jlamp.2019.02.008_br0170) 2015; 604
Swamy (10.1016/j.jlamp.2019.02.008_br0220) 2011
Brzozowski (10.1016/j.jlamp.2019.02.008_br0090) 2011
König (10.1016/j.jlamp.2019.02.008_br0140) 2014; vol. 8705
van Heerdt (10.1016/j.jlamp.2019.02.008_br0230)
Johnstone (10.1016/j.jlamp.2019.02.008_br0130) 1975; 7
Bojańczyk (10.1016/j.jlamp.2019.02.008_br0060) 2015; vol. 9168
Bollig (10.1016/j.jlamp.2019.02.008_br0070) 2009; vol. 9
Bonchi (10.1016/j.jlamp.2019.02.008_br0080) 2015; 58
References_xml – start-page: 15
  year: 2011
  ident: 10.1016/j.jlamp.2019.02.008_br0220
  article-title: Lightweight monadic programming in ml
– start-page: 613
  year: 2017
  ident: 10.1016/j.jlamp.2019.02.008_br0150
  article-title: Learning nominal automata
– start-page: 58
  year: 2012
  ident: 10.1016/j.jlamp.2019.02.008_br0010
  article-title: A coalgebraic perspective on minimization and determinization
– start-page: 105
  year: 2011
  ident: 10.1016/j.jlamp.2019.02.008_br0090
  article-title: Theory of átomata
– start-page: 3308
  year: 2015
  ident: 10.1016/j.jlamp.2019.02.008_br0030
  article-title: Learning regular languages via alternating automata
– volume: 93
  start-page: 55
  issue: 1
  year: 1991
  ident: 10.1016/j.jlamp.2019.02.008_br0160
  article-title: Notions of computation and monads
  publication-title: Inf. Comput.
  doi: 10.1016/0890-5401(91)90052-4
– volume: 249
  start-page: 3
  issue: 1
  year: 2000
  ident: 10.1016/j.jlamp.2019.02.008_br0180
  article-title: Universal coalgebra: a theory of systems
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(00)00056-6
– volume: 9
  issue: 1
  year: 2013
  ident: 10.1016/j.jlamp.2019.02.008_br0210
  article-title: Generalizing determinization from automata to coalgebras
  publication-title: Log. Methods Comput. Sci.
– volume: vol. 8705
  start-page: 311
  year: 2014
  ident: 10.1016/j.jlamp.2019.02.008_br0140
  article-title: Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata
– ident: 10.1016/j.jlamp.2019.02.008_br0230
– year: 2010
  ident: 10.1016/j.jlamp.2019.02.008_br0240
– volume: 7
  start-page: 294
  year: 1975
  ident: 10.1016/j.jlamp.2019.02.008_br0130
  article-title: Adjoint lifting theorems for categories of algebras
  publication-title: Bull. Lond. Math. Soc.
  doi: 10.1112/blms/7.3.294
– volume: 51
  start-page: 339
  year: 2002
  ident: 10.1016/j.jlamp.2019.02.008_br0100
  article-title: Residual finite state automata
  publication-title: Fundam. Inform.
– volume: 13
  start-page: 169
  year: 1975
  ident: 10.1016/j.jlamp.2019.02.008_br0040
  article-title: Fuzzy machines in a category
  publication-title: Bull. Am. Meteorol. Soc.
– volume: vol. 189
  year: 1994
  ident: 10.1016/j.jlamp.2019.02.008_br0020
– ident: 10.1016/j.jlamp.2019.02.008_br0050
– volume: 4
  start-page: 245
  issue: 2–3
  year: 1961
  ident: 10.1016/j.jlamp.2019.02.008_br0190
  article-title: On the definition of a family of automata
  publication-title: Inf. Control
  doi: 10.1016/S0019-9958(61)80020-X
– volume: vol. 9
  start-page: 1004
  year: 2009
  ident: 10.1016/j.jlamp.2019.02.008_br0070
  article-title: Angluin-style learning of NFA
– volume: 604
  start-page: 81
  year: 2015
  ident: 10.1016/j.jlamp.2019.02.008_br0170
  article-title: Coalgebraic constructions of canonical nondeterministic automata
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2015.03.035
– volume: 58
  start-page: 87
  issue: 2
  year: 2015
  ident: 10.1016/j.jlamp.2019.02.008_br0080
  article-title: Hacking nondeterminism with induction and coinduction
  publication-title: Commun. ACM
  doi: 10.1145/2713167
– start-page: 109
  year: 2012
  ident: 10.1016/j.jlamp.2019.02.008_br0120
  article-title: Trace semantics via determinization
– volume: vol. 9168
  start-page: 1
  year: 2015
  ident: 10.1016/j.jlamp.2019.02.008_br0060
  article-title: Recognisable languages over monads
– ident: 10.1016/j.jlamp.2019.02.008_br0110
– volume: vol. 8
  start-page: 272
  year: 2010
  ident: 10.1016/j.jlamp.2019.02.008_br0200
  article-title: Generalizing the powerset construction, coalgebraically
SSID ssj0001687831
Score 2.1222217
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 112
Title A (co)algebraic theory of succinct automata
Volume 105
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFA9DL178Fr_pwYMyK2vSz-MQZSp6UcFbSV9T3HCtzNaDf70vTZNVN0SFUUbXhna_l5dfkvd7j5AjCITwwffsLPOo7aYJxz7n-raXRgH28x5-pFD49s4fPLrXT95Tp_PailqqyuQMPubqSv6DKp5DXKVK9g_ImkbxBH5HfPGICOPxVxj3JT-EAmfzsloHznuHoJSJ9bb5WwUwzKHs8qosxkqDNo-Iau9Xp2017ajS0irKXMVwjfUo16ieBkJM0lItrE-gMNAV0tnnzfbCc2X8_j2XOrlyWBf77spC48LcdD98eectwc2Et5cjpAJKh00pr0WR0dmU9sIvLrbntZyk0wROq_HWUcLnGVeuVhVGZyPsGTKxqBOp5KrhdOTSu_XfBjQTZqgj2EZx3UgsG4l7NK7V4Ys0COTG_mL_6mZwN12X88MgrMtYmjfRyarqsMCZx2kRmhYzeVglyw2SVl_ZxxrpiHydrOhyHVbjvTdIt28dQ3FiILaUqVhFZmlTsbSpbJLHy4uH84Hd1MqwgUZuaTOkXhHnDCjghJGFPGUJY5kHkYg4YPcD_CUNQeZ38wSSPIiy1A1STwQ4ZUXOtkUW8iIX28QSjptmGQOHJb6L80_uMF8qmJH6hQEX0Q6h-oVjaBLJy3omL_EP__cOOTU3vao8Kj9dvvu3y_fI0tQW98lCOanEAZLFMjls8P0EO1Zpmw
linkProvider Elsevier
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=A+%28co%29algebraic+theory+of+succinct+automata&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=van+Heerdt%2C+Gerco&rft.au=Moerman%2C+Joshua&rft.au=Sammartino%2C+Matteo&rft.au=Silva%2C+Alexandra&rft.date=2019-06-01&rft.issn=2352-2208&rft.volume=105&rft.spage=112&rft.epage=125&rft_id=info:doi/10.1016%2Fj.jlamp.2019.02.008&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2019_02_008
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