José Carlos Ferreira Maia Neves

According to our database¹, José Carlos Ferreira Maia Neves authored at least 3 papers between 1983 and 1986.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1986

A formalism for views in a logic data base.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1984

A logic interpreter to handle time and negation in logic data bases.

[BibT_eX]

[DOI]

Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984

1983

The application of logic programming to data bases.

[BibT_eX]

[DOI]

PhD thesis, 1983