Idioma:

Resultados de 1 a 10 de 72 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

Result Number	Material Type	Record Details and Options
1	$From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory$ $From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory$ Material Type: Artigo	From Rewrite Rules to Axioms in the $\lambda$$\Pi$-Calculus Modulo Theory Blot, Valentin ; Dowek, Gilles ; Traversié, Thomas ; Winterhalter, Théo arXiv.org, 2024-02 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo	A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions Dowek, Gilles 2023-10 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo	Automatic Proof Checking and Proof Construction by Tactics Dowek, Gilles arXiv.org, 2023-09 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo	A Unification Algorithm for Second-Order Linear Terms Dowek, Gilles arXiv.org, 2023-09 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo	Third Order Matching is Decidable Dowek, Gilles arXiv.org, 2023-06 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo	What do we know when we know that a theory is consistent? Dowek, Gilles arXiv.org, 2023-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo	A constructive proof of Skolem theorem for constructive logic Dowek, Gilles ; Werner, Benjamin arXiv.org, 2023-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo	Truth values algebras and proof normalization Dowek, Gilles arXiv.org, 2023-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	$The Undecidability of Unification Modulo $\sigma$ Alone$ $The Undecidability of Unification Modulo $\sigma$ Alone$ Material Type: Artigo	The Undecidability of Unification Modulo $\sigma$ Alone Dowek, Gilles 2023-05 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Dowek, Gilles arXiv.org, 2023-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por