On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds

W.J. Fokkink; S. Nain

On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	182-194
Journal	Lecture Notes in Computer Science
Volume	2987
Publication status	Published - 2004

Bibliographical note

DBLP:conf/fossacs/FokkinkN04
Proceedings title: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Publisher: Springer
Editors: I. Walukiewicz

Persistent URL (handle)

Copy link address

Cite this

@article{1a183be289c74ec8b0c18a5275d483d3,

title = "On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds",

author = "W.J. Fokkink and S. Nain",

note = "DBLP:conf/fossacs/FokkinkN04 Proceedings title: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings Publisher: Springer Editors: I. Walukiewicz",

year = "2004",

language = "English",

volume = "2987",

pages = "182--194",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds

AU - Fokkink, W.J.

AU - Nain, S.

N1 - DBLP:conf/fossacs/FokkinkN04 Proceedings title: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings Publisher: Springer Editors: I. Walukiewicz

PY - 2004

Y1 - 2004

M3 - Article

SN - 0302-9743

VL - 2987

SP - 182

EP - 194

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -