Bistable biorders: A sequential domain theory

Research output: Contribution to journal › Article › peer-review

2 Citations (SciVal)

Original language	English
Pages (from-to)	1-22
Number of pages	22
Journal	Logical Methods in Computer Science
Volume	3
Issue number	2
DOIs	https://doi.org/10.2168/LMCS-3(2:5)2007
Publication status	Published - 2007

Access to Document

@article{b34696f0033c4907ba96085b369a48c2,

title = "Bistable biorders: A sequential domain theory",

author = "J Laird",

year = "2007",

doi = "10.2168/LMCS-3(2:5)2007",

language = "English",

volume = "3",

pages = "1--22",

journal = "Logical Methods in Computer Science",

publisher = "Technischen Universitat Braunschweig",

number = "2",

}

TY - JOUR

T1 - Bistable biorders: A sequential domain theory

AU - Laird, J

PY - 2007

Y1 - 2007

UR - http://dx.doi.org/10.2168/LMCS-3(2:5)2007

UR - https://www.scopus.com/pages/publications/84957892893

U2 - 10.2168/LMCS-3(2:5)2007

DO - 10.2168/LMCS-3(2:5)2007

M3 - Article

VL - 3

SP - 1

EP - 22

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 2

ER -