Back to Results
First PageMeta Content
Automata theory / Models of computation / Finite-state machine


RICE UNIVERSITY B¨ uchi Containment and Size-Change Termination by Seth Fogarty A THESIS SUBMITTED
Add to Reading List

Document Date: 2010-10-21 15:29:28

Open Document

File Size: 531,50 KB

Share Result on Facebook

City

Ramsey / /

Company

Vardi / /

IndustryTerm

uchi complementation tools / recent termination-analysis algorithm / concrete universality-testing algorithm / rank-based containment algorithm / universality-testing algorithm / combinatorial solution / rank-based tools / containment algorithm / automatatheoretic tools / lasso-finding algorithm / size-change termination algorithm / Early solutions / universality testing algorithm / search space / compare tools / /

Organization

National Science Foundation / Outline Chapter / Thesis Committee / RICE UNIVERSITY / Electrical and Computer Engineering Assistant Professor Luay K. Nakhleh Department of Computer Science Houston / Chair Karen Ostrum George Professor Department of Computer Science / /

Person

Laurent Doyen / Moshe Y. Vardi / Amir Ben-Amram / Seth Fogarty / Deian Tabakov / Neil Jones / Damien Sereni / Thomas / Keith Cooper / Luay K. Nakhleh / Gail / Chin Soon Lee / /

Position

advisor / Professor / /

Technology

Ramsey-based algorithm / universality-testing algorithm / concrete universality-testing algorithm / lasso-finding algorithm / universality testing algorithm / derived algorithms / LJB algorithm / Ramsey-based algorithms / SCT algorithm / size-change termination algorithm / rank-based algorithms / rank-based containment algorithm / Ramsey-based containment algorithm / recent termination-analysis algorithm / /

SocialTag