Marcos Alvarez Gonzalez

According to our database1, Marcos Alvarez Gonzalez authored at least 8 papers between 2011 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
An 8-Gb GDDR6X DRAM Achieving 22 Gb/s/pin With Single-Ended PAM-4 Signaling.
IEEE J. Solid State Circuits, 2022

2021

2018
An 8-Gb 12-Gb/s/pin GDDR5X DRAM for Cost-Effective High-Performance Applications.
IEEE J. Solid State Circuits, 2018

2017

2012
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them.
Theory Pract. Log. Program., 2012

Typed Answer Set Programming and Inverse Lambda Algorithms
CoRR, 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
Using Inverse lambda and Generalization to Translate English to Formal Languages.
Proceedings of the Ninth International Conference on Computational Semantics, 2011


  Loading...