On guarded simulations and acyclic first-order languages

GHL Fletcher, AJH Hidders, S Vansummeren, Y Luo, F Picalausa, P de Bra

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific

NEO

Keywords

@inproceedings{4a03f183cbb14627938730a9c47ac113,

title = "On guarded simulations and acyclic first-order languages",

keywords = "Conf.proc. > 3 pag",

author = "GHL Fletcher and AJH Hidders and S Vansummeren and Y Luo and F Picalausa and {de Bra}, P",

note = "NEO",

year = "2011",

language = "English",

pages = "1--7",

editor = "sn",

booktitle = "DBPL 2011",

}

TY - GEN

T1 - On guarded simulations and acyclic first-order languages

AU - Fletcher, GHL

AU - Hidders, AJH

AU - Vansummeren, S

AU - Luo, Y

AU - Picalausa, F

AU - de Bra, P

N1 - NEO

PY - 2011

Y1 - 2011

KW - Conf.proc. > 3 pag

UR - http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-fletcher.pdf

M3 - Conference contribution

SP - 1

EP - 7

BT - DBPL 2011

A2 - sn, null

ER -