Work

An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems

Year: 2008

Type: article

Source: International Journal of Foundations of Computer Science

DOI: 10.1142/s012905410800608x

Author: ANIL SETH

Institution: Indian Institute of Technology Kanpur

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2090800764

FWCI: 1.085

Cites: 10

Cited by: 6

Related to: 10