Marcos Alvarez Gonzalez
According to our database1,
Marcos Alvarez Gonzalez
authored at least 8 papers
between 2011 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
IEEE J. Solid State Circuits, 2022
2021
Proceedings of the IEEE International Solid-State Circuits Conference, 2021
2018
IEEE J. Solid State Circuits, 2018
2017
Proceedings of the 2017 IEEE International Solid-State Circuits Conference, 2017
2012
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.
Theory Pract. Log. Program., 2012
The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL.
Proceedings of the Correct Reasoning, 2012
2011
Proceedings of the Ninth International Conference on Computational Semantics, 2011