Truth in Applicative Theories - NOVA Math

Skip to content

CENTER
RESEARCH
OPPORTUNITIES
EVENTS
TRAINING
- PhD Programme
- Advanced Courses
SOCIETY
- Knowledge Transfer
- Outreach
MEDIA
- News
- In Press
CONTACT
LOGIN

CENTER
RESEARCH
OPPORTUNITIES
EVENTS
TRAINING
- PhD Programme
- Advanced Courses
SOCIETY
- Knowledge Transfer
- Outreach
MEDIA
- News
- In Press
CONTACT
LOGIN

Truth in Applicative Theories

NOVA Math > NOVA Math > NOVA Math Publications > Truth in Applicative Theories

NOVA Math Publications

Algebra and Logic

Article
Kahle,R
Stud Logica

2001
68
1
103-128

Tags : 2001 Algebra and Logic

Post navigation

Formalizing non-termination of recursive programs

Implicit characterizations of Pspace

Search for:

Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
Campus de Caparica
2829-516 Caparica
PORTUGAL

Contacts

(+351) 212 948 388
novamath.secretariado@fct.unl.pt
Monday-Friday 9:00 - 17:00

Links

Cookies Policy
Privacy Policy

Search for:

© Copyright 2023 - All Rights Reserved

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.