Work

On Functions Weakly Computable by Pushdown Petri Nets and Related Systems

Year: 2019

Type: article

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

DOI: 10.23638/lmcs-15(4:15)2019

Authors: Leroux, J., Praveen, M., Schnoebelen, Ph., Sutre, G.

Institutions: Laboratoire Bordelais de Recherche en Informatique, Chennai Mathematical Institute, Laboratoire Spécification et Vérification

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Award: IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS

OpenAlex ID: W3003971404

FWCI: 0.162

Cites: 32

Cited by: 4

Related to: 10