Igor Carboni Oliveira

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Igor Carboni Oliveira, Walter Alexandre Carnielli: The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Logic Journal of the IGPL 16(6): 585-590 (2008)

	2008
1		Igor Carboni Oliveira, Walter Alexandre Carnielli: The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Logic Journal of the IGPL 16(6): 585-590 (2008)

Coauthor Index