Relation lifting, a survey

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 85; no. 4; pp. 475 - 499
Main Authors Kurz, Alexander, Velebil, Jiří
Format Journal Article
LanguageEnglish
Published 01.06.2016
Online AccessGet full text

Cover

Author Kurz, Alexander
Velebil, Jiří
Author_xml – sequence: 1
  givenname: Alexander
  orcidid: 0000-0002-8685-5207
  surname: Kurz
  fullname: Kurz, Alexander
– sequence: 2
  givenname: Jiří
  surname: Velebil
  fullname: Velebil, Jiří
BookMark eNp9j8tKAzEYhbOoYK19Ad3MAzjxTzKZSZZSvEFBEF2HNBfJkM6UJAp9e2eqKxeuDgfOd-C7QIthHBxC1wQwAdLe9riPen_AFAjHIDAAXaAlZZzWlII4R-uce4BpKjrByBJdvbqoSxiHKgZfwvBxU-kqf6Yvd7xEZ17H7Na_uULvD_dvm6d6-_L4vLnb1obKptTTVSu9bFunPRjLiek43UFnrNXQ2Ll6oSUBY6yztG2oEYJLBg00O8aBrRD7-TVpzDk5rw4p7HU6KgJqtlK9Olmp2UqBUJPVRMk_lAnlZFKSDvFf9hvWYlcZ
CitedBy_id crossref_primary_10_1007_s10485_019_09582_w
crossref_primary_10_4204_EPTCS_380_14
crossref_primary_10_1145_3498680
crossref_primary_10_1017_S0960129522000020
crossref_primary_10_1017_S096012952300035X
crossref_primary_10_1145_3290317
crossref_primary_10_1017_S0960129523000245
crossref_primary_10_1007_s00012_020_00680_8
crossref_primary_10_1145_3649821
Cites_doi 10.1090/S0002-9939-1965-0177024-4
10.1016/j.jcss.2014.12.006
10.1016/S1571-0661(04)00063-5
10.1016/j.tcs.2011.04.023
10.1016/j.entcs.2014.02.008
10.1016/j.tcs.2003.12.022
10.1006/inco.1998.2725
10.1016/S0168-0072(98)00042-6
10.3233/FI-1980-3208
10.1016/j.fss.2008.12.008
10.1016/0304-3975(85)90037-4
10.2168/LMCS-7(1:13)2011
10.1017/S0960129505004731
10.2168/LMCS-9(4:8)2013
10.2168/LMCS-3(4:11)2007
10.1016/S0165-0114(97)00061-4
10.1016/0022-4049(72)90019-9
10.1145/1516507.1516510
10.1016/j.ic.2010.09.009
10.1016/S0304-3975(00)00056-6
10.1016/j.tcs.2004.07.022
10.1016/S1571-0661(05)80319-6
10.1016/0304-3975(93)90076-6
10.1007/s00012-007-1995-3
10.1016/S1571-0661(05)80356-1
10.1093/comjnl/bxp004
10.1016/S1571-0661(04)80964-2
10.2168/LMCS-8(3:2)2012
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2015.08.002
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 499
ExternalDocumentID 10_1016_j_jlamp_2015_08_002
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-16869f966eaf0cd51c752b07cdda04d1c75f8a910ccded2642c885930404b3503
ISSN 2352-2208
IngestDate Tue Jul 01 00:37:50 EDT 2025
Thu Apr 24 23:06:16 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 4
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c294t-16869f966eaf0cd51c752b07cdda04d1c75f8a910ccded2642c885930404b3503
ORCID 0000-0002-8685-5207
OpenAccessLink http://hdl.handle.net/2381/38793
PageCount 25
ParticipantIDs crossref_primary_10_1016_j_jlamp_2015_08_002
crossref_citationtrail_10_1016_j_jlamp_2015_08_002
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2016-06-00
PublicationDateYYYYMMDD 2016-06-01
PublicationDate_xml – month: 06
  year: 2016
  text: 2016-06-00
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2016
References Jung (10.1016/j.jlamp.2015.08.002_br0280) 1996; vol. 806
Schmidt (10.1016/j.jlamp.2015.08.002_br0490) 1993
Moss (10.1016/j.jlamp.2015.08.002_br0410) 1999; 96
Schmidt (10.1016/j.jlamp.2015.08.002_br0480) 2011; vol. 132
Bashir (10.1016/j.jlamp.2015.08.002_br0130) 2002; 10
Backhouse (10.1016/j.jlamp.2015.08.002_br0090) 1993
Manes (10.1016/j.jlamp.2015.08.002_br0390) 1976
Kupke (10.1016/j.jlamp.2015.08.002_br0340) 2012; 8
Kleisli (10.1016/j.jlamp.2015.08.002_br0320) 1965; 16
Aczel (10.1016/j.jlamp.2015.08.002_br0030) 1988
Street (10.1016/j.jlamp.2015.08.002_br0520) 1972; 2
Smyth (10.1016/j.jlamp.2015.08.002_br0500) 1992; 45
Guitart (10.1016/j.jlamp.2015.08.002_br0210) 1980; IV
Kelly (10.1016/j.jlamp.2015.08.002_br0310) 1982; vol. 64
Sangiorgi (10.1016/j.jlamp.2015.08.002_br0470) 2009; 31
Marti (10.1016/j.jlamp.2015.08.002_br0400) 2015; 81
Abramsky (10.1016/j.jlamp.2015.08.002_br0010) 1991
Levy (10.1016/j.jlamp.2015.08.002_br0370) 2011
Adámek (10.1016/j.jlamp.2015.08.002_br0080) 1990
Hasuo (10.1016/j.jlamp.2015.08.002_br0220) 2007; 3
Popescu (10.1016/j.jlamp.2015.08.002_br0430) 2007; 53
Kegelmann (10.1016/j.jlamp.2015.08.002_br0300) 2002; 49
Aczel (10.1016/j.jlamp.2015.08.002_br0040) 1989; vol. 389
Bonchi (10.1016/j.jlamp.2015.08.002_br0170) 2014
Freyd (10.1016/j.jlamp.2015.08.002_br0200) 1990
Rutten (10.1016/j.jlamp.2015.08.002_br0460) 2000; 249
Beck (10.1016/j.jlamp.2015.08.002_br0140) 1969; vol. 80
Adámek (10.1016/j.jlamp.2015.08.002_br0060) 2004; 316
Hermida (10.1016/j.jlamp.2015.08.002_br0240) 1998; 145
Kawahara (10.1016/j.jlamp.2015.08.002_br0290) 1999; 101
Hermida (10.1016/j.jlamp.2015.08.002_br0230) 2011; 209
Hughes (10.1016/j.jlamp.2015.08.002_br0260) 2004; 327
Kupke (10.1016/j.jlamp.2015.08.002_br0350) 2011; 412
Mac Lane (10.1016/j.jlamp.2015.08.002_br0380) 1971
Worrell (10.1016/j.jlamp.2015.08.002_br0570) 2000; 33
Barr (10.1016/j.jlamp.2015.08.002_br0120) 1993; 114
Trnková (10.1016/j.jlamp.2015.08.002_br0540) 1980; 3
Winter (10.1016/j.jlamp.2015.08.002_br0560) 2009; 160
Adámek (10.1016/j.jlamp.2015.08.002_br0070) 2005; 15
Bílková (10.1016/j.jlamp.2015.08.002_br0160) 2013; 9
Balan (10.1016/j.jlamp.2015.08.002_br0100) 2015; 11
Hermida (10.1016/j.jlamp.2015.08.002_br0250) 2014; 303
Jung (10.1016/j.jlamp.2015.08.002_br0270) 2001; 45
Bílková (10.1016/j.jlamp.2015.08.002_br0150) 2011
Winskel (10.1016/j.jlamp.2015.08.002_br0550) 1985; 36
Cîrstea (10.1016/j.jlamp.2015.08.002_br0190) 2011; 54
Rutten (10.1016/j.jlamp.2015.08.002_br0450) 1998; 11
Power (10.1016/j.jlamp.2015.08.002_br0440) 1999; 29
Carboni (10.1016/j.jlamp.2015.08.002_br0180) 1991; 31
Barr (10.1016/j.jlamp.2015.08.002_br0110) 1970; vol. 137
Klin (10.1016/j.jlamp.2015.08.002_br0330) 2004
Thijs (10.1016/j.jlamp.2015.08.002_br0530) 1996
Staton (10.1016/j.jlamp.2015.08.002_br0510) 2011; 7
Moss (10.1016/j.jlamp.2015.08.002_br0420) 1999; 96
Abramsky (10.1016/j.jlamp.2015.08.002_br0020) 1994
Lawvere (10.1016/j.jlamp.2015.08.002_br0360) 1973; XLIII
References_xml – volume: 16
  start-page: 544
  issue: 3
  year: 1965
  ident: 10.1016/j.jlamp.2015.08.002_br0320
  article-title: Every standard construction is induced by a pair of adjoint functors
  publication-title: Proc. Am. Math. Soc.
  doi: 10.1090/S0002-9939-1965-0177024-4
– volume: 81
  start-page: 880
  issue: 5
  year: 2015
  ident: 10.1016/j.jlamp.2015.08.002_br0400
  article-title: Lax extensions of coalgebra functors and their logic
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/j.jcss.2014.12.006
– volume: 11
  start-page: 252
  year: 1998
  ident: 10.1016/j.jlamp.2015.08.002_br0450
  article-title: Relators and metric bisimulations
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/S1571-0661(04)00063-5
– volume: 412
  start-page: 5070
  issue: 38
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0350
  article-title: Coalgebraic semantics of modal logics: an overview
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2011.04.023
– volume: vol. 389
  year: 1989
  ident: 10.1016/j.jlamp.2015.08.002_br0040
  article-title: A final coalgebra theorem
– start-page: 49
  year: 1991
  ident: 10.1016/j.jlamp.2015.08.002_br0010
  article-title: A relational approach to strictness analysis for higher-order polymorphic functions
– volume: vol. 137
  start-page: 39
  year: 1970
  ident: 10.1016/j.jlamp.2015.08.002_br0110
  article-title: Relational algebras
– volume: 31
  start-page: 47
  issue: 4
  year: 1991
  ident: 10.1016/j.jlamp.2015.08.002_br0180
  article-title: A 2-categorical approach to change of base and geometric morphisms I
  publication-title: Cah. Topol. Géom. Différ. Catég.
– volume: 303
  start-page: 149
  year: 2014
  ident: 10.1016/j.jlamp.2015.08.002_br0250
  article-title: Logical relations and parametricity – a Reynolds programme for category theory and programming languages
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/j.entcs.2014.02.008
– volume: 316
  start-page: 3
  issue: 1
  year: 2004
  ident: 10.1016/j.jlamp.2015.08.002_br0060
  article-title: On coalgebra based on classes
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2003.12.022
– volume: 145
  start-page: 107
  issue: 2
  year: 1998
  ident: 10.1016/j.jlamp.2015.08.002_br0240
  article-title: Structural induction and coinduction in a fibrational setting
  publication-title: Inf. Comput.
  doi: 10.1006/inco.1998.2725
– volume: 96
  start-page: 277
  issue: 1–3
  year: 1999
  ident: 10.1016/j.jlamp.2015.08.002_br0420
  article-title: Coalgebraic logic
  publication-title: Ann. Pure Appl. Logic
  doi: 10.1016/S0168-0072(98)00042-6
– start-page: 20
  year: 2014
  ident: 10.1016/j.jlamp.2015.08.002_br0170
  article-title: Coinduction up-to in a fibrational setting
– volume: 3
  start-page: 189
  issue: 2
  year: 1980
  ident: 10.1016/j.jlamp.2015.08.002_br0540
  article-title: General theory of relational automata
  publication-title: Fundam. Inform.
  doi: 10.3233/FI-1980-3208
– volume: 49
  start-page: 1
  year: 2002
  ident: 10.1016/j.jlamp.2015.08.002_br0300
  article-title: Continuous domains in logical form
  publication-title: Electron. Notes Theor. Comput. Sci.
– volume: vol. 80
  year: 1969
  ident: 10.1016/j.jlamp.2015.08.002_br0140
  article-title: Distributive laws
– volume: 96
  start-page: 277
  year: 1999
  ident: 10.1016/j.jlamp.2015.08.002_br0410
  article-title: Coalgebraic logic
  publication-title: Ann. Pure Appl. Logic
  doi: 10.1016/S0168-0072(98)00042-6
– volume: 160
  start-page: 2893
  issue: 20
  year: 2009
  ident: 10.1016/j.jlamp.2015.08.002_br0560
  article-title: Arrow categories
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/j.fss.2008.12.008
– volume: 10
  start-page: 410
  year: 2002
  ident: 10.1016/j.jlamp.2015.08.002_br0130
  article-title: Simultaneously reflective and coreflective subcategories of presheaves
  publication-title: Theory Appl. Categ.
– start-page: 115
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0150
  article-title: Relation liftings on preorders and posets
– volume: 36
  year: 1985
  ident: 10.1016/j.jlamp.2015.08.002_br0550
  article-title: Note on powerdomains and modality
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/0304-3975(85)90037-4
– volume: 7
  issue: 1
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0510
  article-title: Relating coalgebraic notions of bisimulation
  publication-title: Log. Methods Comput. Sci.
  doi: 10.2168/LMCS-7(1:13)2011
– volume: 45
  year: 1992
  ident: 10.1016/j.jlamp.2015.08.002_br0500
  article-title: Stable compactification I
  publication-title: J. Lond. Math. Soc.
– year: 1993
  ident: 10.1016/j.jlamp.2015.08.002_br0490
  article-title: Relations and Graphs – Discrete Mathematics for Computer Scientists
– volume: 15
  start-page: 409
  issue: 3
  year: 2005
  ident: 10.1016/j.jlamp.2015.08.002_br0070
  article-title: A general final coalgebra theorem
  publication-title: Math. Struct. Comput. Sci.
  doi: 10.1017/S0960129505004731
– volume: 9
  start-page: 1
  year: 2013
  ident: 10.1016/j.jlamp.2015.08.002_br0160
  article-title: Relation lifting, with an application to the many-valued cover modality
  publication-title: Log. Methods Comput. Sci.
  doi: 10.2168/LMCS-9(4:8)2013
– volume: 3
  issue: 4
  year: 2007
  ident: 10.1016/j.jlamp.2015.08.002_br0220
  article-title: Generic trace semantics via coinduction
  publication-title: Log. Methods Comput. Sci.
  doi: 10.2168/LMCS-3(4:11)2007
– volume: 101
  start-page: 125
  issue: 1
  year: 1999
  ident: 10.1016/j.jlamp.2015.08.002_br0290
  article-title: An algebraic formalization of fuzzy relations
  publication-title: Fuzzy Sets Syst.
  doi: 10.1016/S0165-0114(97)00061-4
– year: 1988
  ident: 10.1016/j.jlamp.2015.08.002_br0030
– volume: 2
  start-page: 149
  issue: 2
  year: 1972
  ident: 10.1016/j.jlamp.2015.08.002_br0520
  article-title: The formal theory of monads
  publication-title: J. Pure Appl. Algebra
  doi: 10.1016/0022-4049(72)90019-9
– volume: 31
  issue: 4
  year: 2009
  ident: 10.1016/j.jlamp.2015.08.002_br0470
  article-title: On the origins of bisimulation and coinduction
  publication-title: ACM Trans. Program. Lang. Syst.
  doi: 10.1145/1516507.1516510
– year: 1990
  ident: 10.1016/j.jlamp.2015.08.002_br0080
– year: 1976
  ident: 10.1016/j.jlamp.2015.08.002_br0390
– volume: 209
  start-page: 1505
  issue: 12
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0230
  article-title: A categorical outlook on relational modalities and simulations
  publication-title: Inf. Comput.
  doi: 10.1016/j.ic.2010.09.009
– year: 2004
  ident: 10.1016/j.jlamp.2015.08.002_br0330
– volume: XLIII
  year: 1973
  ident: 10.1016/j.jlamp.2015.08.002_br0360
  article-title: Metric spaces, generalized logic and closed categories
  publication-title: Rend. Semin. Mat. Fis. Milano
– volume: 249
  start-page: 3
  year: 2000
  ident: 10.1016/j.jlamp.2015.08.002_br0460
  article-title: Universal coalgebra: a theory of systems
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(00)00056-6
– volume: vol. 132
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0480
  article-title: Relational Mathematics
– volume: 327
  year: 2004
  ident: 10.1016/j.jlamp.2015.08.002_br0260
  article-title: Simulations in coalgebra
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2004.07.022
– volume: vol. 64
  year: 1982
  ident: 10.1016/j.jlamp.2015.08.002_br0310
  article-title: Basic Concepts of Enriched Category Theory
– volume: 29
  start-page: 259
  year: 1999
  ident: 10.1016/j.jlamp.2015.08.002_br0440
  article-title: A coalgebraic foundation for linear time semantics
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/S1571-0661(05)80319-6
– start-page: 27
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0370
  article-title: Similarity quotients as final coalgebras
– year: 1971
  ident: 10.1016/j.jlamp.2015.08.002_br0380
– volume: 114
  start-page: 299
  issue: 2
  year: 1993
  ident: 10.1016/j.jlamp.2015.08.002_br0120
  article-title: Terminal coalgebras in well-founded set theory
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/0304-3975(93)90076-6
– volume: 11
  start-page: 1
  issue: 3:18
  year: 2015
  ident: 10.1016/j.jlamp.2015.08.002_br0100
  article-title: Positive fragments of coalgebraic logics
  publication-title: Log. Methods Comput. Sci.
– volume: 53
  start-page: 211
  year: 2007
  ident: 10.1016/j.jlamp.2015.08.002_br0430
  article-title: Some algebraic theory for many-valued relation algebras
  publication-title: Algebra Univers.
  doi: 10.1007/s00012-007-1995-3
– year: 1996
  ident: 10.1016/j.jlamp.2015.08.002_br0530
– volume: vol. 806
  start-page: 214
  year: 1996
  ident: 10.1016/j.jlamp.2015.08.002_br0280
  article-title: On the duality of compact vs. open
– start-page: 7
  year: 1993
  ident: 10.1016/j.jlamp.2015.08.002_br0090
  article-title: Elements of a relational theory of datatypes
– year: 1990
  ident: 10.1016/j.jlamp.2015.08.002_br0200
– volume: IV
  start-page: 103
  issue: 2
  year: 1980
  ident: 10.1016/j.jlamp.2015.08.002_br0210
  article-title: Relations et carrés exacts
  publication-title: Ann. Sci. Math. Qué.
– volume: 33
  start-page: 337
  year: 2000
  ident: 10.1016/j.jlamp.2015.08.002_br0570
  article-title: Coinduction for recursive data types: partial orders, metric spaces and omega-categories
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/S1571-0661(05)80356-1
– volume: 54
  start-page: 31
  issue: 1
  year: 2011
  ident: 10.1016/j.jlamp.2015.08.002_br0190
  article-title: Modal logics are coalgebraic
  publication-title: Comput. J.
  doi: 10.1093/comjnl/bxp004
– volume: 45
  start-page: 209
  year: 2001
  ident: 10.1016/j.jlamp.2015.08.002_br0270
  article-title: Stably compact spaces and closed relations
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/S1571-0661(04)80964-2
– volume: 8
  issue: 3
  year: 2012
  ident: 10.1016/j.jlamp.2015.08.002_br0340
  article-title: Completeness for the coalgebraic cover modality
  publication-title: Log. Methods Comput. Sci.
  doi: 10.2168/LMCS-8(3:2)2012
– year: 1994
  ident: 10.1016/j.jlamp.2015.08.002_br0020
  article-title: Domain theory
SSID ssj0001687831
Score 2.1972325
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 475
Title Relation lifting, a survey
Volume 85
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NT8IwFG8MXLz4bRQ_soOcYGQr3deRoAY1cgLDbem61UAQDQ4P_PW-ru02xBDxsnRfzbpf897re6_vh9ANB5PaxpSaJGLcJDwJTGqzxPRjURbSY5bPhL_jue_2huRx5IwKlr5sd0katdjy130l_0EVrgGuYpfsFsjmncIFaAO-cASE4fgnjHUmW2M65qkiJ6GNz8X8azVaW7I6tajLarROX0XYeMwUj7RMKZcJW29apckwz3JlM4y-8QI6K1JO5HG969SDIAu835Z9CbZb5DxJkYPBHDMxtvyyfJSUOmoekJKwI5LzROlNIomO1kSy9A5MWhOY4aJAqO20ZP5qoYF01P2HYsrTBXUm2iTMOglFJ6FgzxRVRKsYFgi4gqqdh6dev_Cvub7nZ3SU-aB00aksvW_tc0qGScnCGBygPQWS0ZE4H6KdZHaE9jXthqGk8DGqadgNBXvToIYE_QQN7-8G3Z6pKC5MhgOSmvCVbsBhyZlQbrHYsZnn4MjyWBxTi8TilPsUTDrG4iQG4xUzX1SoA9FLorZjtU9RZfY-S86QQdqUUVgeUkIxcTGObGgknFIvsrhv4XOE9fhCpuq_CxqSabjh956jZv7Shyx_sunx2naPX6DdYhZeoko6XyRXYOOl0bWC8xv4qU46
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=Relation+lifting%2C+a+survey&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Kurz%2C+Alexander&rft.au=Velebil%2C+Ji%C5%99%C3%AD&rft.date=2016-06-01&rft.issn=2352-2208&rft.volume=85&rft.issue=4&rft.spage=475&rft.epage=499&rft_id=info:doi/10.1016%2Fj.jlamp.2015.08.002&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2015_08_002
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