Infinitary Normalization

Autor: Klop, J.W., Vrijer, R.C. de, Artemov, S., Barringer, H., Garcez, A.S. d'Avi, Lamb, L.C., Woods, J.

Publikováno v: We Will Show Them! (2), 169-192
STARTPAGE=169;ENDPAGE=192;TITLE=We Will Show Them! (2)
Artemov, S.; Barringer, H.; Garcez, A.S. d'Avi (ed.), We Will Show Them: Essays in Honour of Dov Gabbay, pp. 169-192
2, 169-192. [S.l.] : College Publications
STARTPAGE=169;ENDPAGE=192;TITLE=2

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f204596ba88d0856a9aa7d020c489ad3
https://research.vu.nl/en/publications/2239ac92-bfd5-4a76-bfbc-08836aeb7a20

Open Problems in Logic and Games

Autor: van Benthem, J.F.A.K., Artemov, S., Barringer, H., d' Avila Garcez, A., Lamb, L., Woods, J.

Publikováno v: Essays in Honour of Dov Gabbay, 229-264
STARTPAGE=229;ENDPAGE=264;TITLE=Essays in Honour of Dov Gabbay

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::07e1532a3c31e2d2e72ba8f179175ddb
https://dare.uva.nl/personal/pure/en/publications/open-problems-in-logic-and-games(1592c20f-2246-428f-a37c-ed88ff623a1c).html

Recognizing and interpreting temporal expressions in open domain texts

Autor: Ahn, D.D., Fissaha Adafre, S., de Rijke, M., Artemov, S., Barringer, H., d'Avila Garcez, A.S., Lamb, L.C., Woods, J.

Publikováno v: We Will Show Them: Essays in Honour of Dov Gabbay.-Vol. 1, 31-50
STARTPAGE=31;ENDPAGE=50;TITLE=We Will Show Them: Essays in Honour of Dov Gabbay.-Vol. 1

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::ee43d276e8662b6e603d50d98ba669bc
https://dare.uva.nl/personal/pure/en/publications/recognizing-and-interpreting-temporal-expressions-in-open-domain-texts(5c198796-7145-4a61-8253-121b841a61a8).html

How To Justify Machinery Improvements Using Reliability Engineering Principles

Autor: Barringer, H. Paul||Monroe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6ba9b1bf12c67bf99cee7c813b009356

A unifying specification logic for cyber-physical systems.

Autor: Bujorianu, M.C., Bujorianu, M.L., Barringer, H.

Publikováno v: 2009 17th Mediterranean Conference on Control & Automation; 2009, p1166-1171, 6p