Tableau Reasoning and Programming with Dynamic First Order Logic

J. van Eijck, J. Heguiabehere, B. Ó Nualláin

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

Keywords

@article{0e6c211097da4e0d8748962b73c6300c,

title = "Tableau Reasoning and Programming with Dynamic First Order Logic",

keywords = "Wiskunde en computerwetenschappen, Menswetenschappen, Linguistic theory, Applied linguistics",

author = "{van Eijck}, J. and J. Heguiabehere and {{\'O} Nuall{\'a}in}, B.",

year = "2001",

language = "Undefined/Unknown",

volume = "9",

pages = "411--445",

journal = "Logic Journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - Tableau Reasoning and Programming with Dynamic First Order Logic

AU - van Eijck, J.

AU - Heguiabehere, J.

AU - Ó Nualláin, B.

PY - 2001

Y1 - 2001

KW - Wiskunde en computerwetenschappen

KW - Menswetenschappen

KW - Linguistic theory

KW - Applied linguistics

M3 - Article

SN - 1367-0751

VL - 9

SP - 411

EP - 445

JO - Logic Journal of the IGPL

JF - Logic Journal of the IGPL

IS - 3

ER -