Anderson de Araújo

According to our database¹, Anderson de Araújo authored at least 4 papers between 2011 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

A quantitative approach to semantic informativity.

[BibT_eX]

[DOI]

CoRR, 2014

Semantic information and artificial intelligence.

[BibT_eX]

[DOI]

CoRR, 2014

2012

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.

[BibT_eX]

[DOI]

Log. J. IGPL, 2012

2011

Classical and quantum satisfiability

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011