( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intersection types and higer-order model checking.

. University of Oxford, UK, (2014)British Library, EThOS.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Steven J Schuyler

Steven J Seda

J Steven Reznick

Allan Ramsay

Ramsay Taylor

 

Другие публикации лиц с тем же именем

Higher-Order MSL Horn Constraints., , и . CoRR, (2022)Higher-Order MSL Horn Constraints., , и . Proc. ACM Program. Lang., 7 (POPL): 2017-2047 (января 2023)DEQ: Equivalence Checker for Deterministic Register Automata., , и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 350-356. Springer, (2019)Intersection types and higer-order model checking.. University of Oxford, UK, (2014)British Library, EThOS.Reachability in Pushdown Register Automata., , и . MFCS (1), том 8634 из Lecture Notes in Computer Science, стр. 464-473. Springer, (2014)Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata., , и . MFCS, том 117 из LIPIcs, стр. 72:1-72:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Intensional Datatype Refinement., и . CoRR, (2020)A traversal-based algorithm for higher-order model checking., , и . ICFP, стр. 353-364. ACM, (2012)Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes.. PPDP, стр. 175-186. ACM, (2014)Higher-order constrained horn clauses for verification., , и . Proc. ACM Program. Lang., 2 (POPL): 11:1-11:28 (2018)