Manuel António Gonçalves Martins


AuthID: R-000-A10

Publications Requiring Validation

11
TITLE: Completeness in Equational Hybrid Propositional Type Theory
AUTHORS: María Manzano; Manuel A Martins; Antonia Huertas;
PUBLISHED: 2019, SOURCE: Studia Logica, VOLUME: 107, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 2. Total results: 11.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service