Alexandre Matos Arruda

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Alexandre Matos Arruda, Ana Teresa C. Martins: Natural deduction for the finite least fixed point logic with an infinitary rule. Logic Journal of the IGPL 17(5): 531-558 (2009)

2008

1 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)

	2009
2		Alexandre Matos Arruda, Ana Teresa C. Martins: Natural deduction for the finite least fixed point logic with an infinitary rule. Logic Journal of the IGPL 17(5): 531-558 (2009)
	2008
1		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

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page