Alexandre Matos Arruda

List of publications from the DBLP Bibliography Server - FAQ

2008

1 EE Alexandre Matos Arruda, Ana Teresa C. Martins: An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. Electr. Notes Theor. Comput. Sci. 205: 89-104 (2008)

2008
1	EE	Alexandre Matos Arruda, Ana Teresa C. Martins: An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. Electr. Notes Theor. Comput. Sci. 205: 89-104 (2008)

Coauthor Index