Passar para o conteúdo principal

CMAFcIO

Peano Arithmetic minus and Robinson's Arithmetic Siblings, so alike but so different

Mathematical Logic Seminar, por Albert Visser (Utrecht University).

Ler mais acerca de Peano Arithmetic minus and Robinson's Arithmetic Siblings, so alike but so different

The power of the power set axiom

Mathematical Logic Seminar, por António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).

Ler mais acerca de The power of the power set axiom

A Graph Calculus for Combinatory Intensional Logic

Mathematical Logic Seminar, por Clarence Protin (Universidade Aberta).

Ler mais acerca de A Graph Calculus for Combinatory Intensional Logic

Restricted variational principle of Lyapunov exponents for typical cocycles

Seminário de Sistemas Dinâmicos, por Reza Mohammadpour (Upssala University).

Ler mais acerca de Restricted variational principle of Lyapunov exponents for typical cocycles

Variational Problems on Measure Spaces with Constraints

Lisbon Webinar in Analysis and Differential Equations, por Carlos N. Rautenberg (George Mason University).

Ler mais acerca de Variational Problems on Measure Spaces with Constraints

On the proof theory of modal logics

Mathematical Logic Seminar, por Maria Osório Costa (CMAFcIO, Faculdade de Ciências da Universidade de Lisboa).

Ler mais acerca de On the proof theory of modal logics

Computing eigenvalues of the discrete $p$-Laplacian via graph surgery

Lisbon Webinar in Analysis and Differential Equations, por Matthias Hofmann (Texas A&M).

Ler mais acerca de Computing eigenvalues of the discrete $p$-Laplacian via graph surgery

Reasoning about Choreographic Programs

Mathematical Logic Seminar, por Luís Cruz-Filipe (University of Southern Denmark).

Ler mais acerca de Reasoning about Choreographic Programs

Towards New Characterizations of Parallel Complexity Classes

Mathematical Logic Seminar, por Melissa Antonelli (University of Helsinki).

Ler mais acerca de Towards New Characterizations of Parallel Complexity Classes

Regularity in diffusion models with gradient activation

Lisbon Webinar in Analysis and Differential Equations, por Damião Araújo (Universidade Federal da Paraíba).

Ler mais acerca de Regularity in diffusion models with gradient activation

Páginas