Sayantan Roy

La investigación revela información clave sobre las transiciones metal-aislante usando sistemas de átomos fríos.

Una visión general de la lógica multivaluada y su importancia en varios campos.

Los teoremas de eliminación de cortes simplifican las pruebas lógicas al eliminar pasos innecesarios.