Bistable biorders: A sequential domain theory

Research output: Contribution to journalArticle

2 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-22
Number of pages22
JournalLogical Methods in Computer Science
Volume3
Issue number2
DOIs
Publication statusPublished - 2007

Cite this

Bistable biorders: A sequential domain theory. / Laird, J.

In: Logical Methods in Computer Science, Vol. 3, No. 2, 2007, p. 1-22.

Research output: Contribution to journalArticle

@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",
issn = "1860-5974",
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

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

SN - 1860-5974

IS - 2

ER -