Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages

Bibliographic Details
Main Author: Caminati Marco
Format: Article
Language:English
Published: Sciendo 2011-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-011-0028-z
id doaj-68174b8421f548a6b593ac5c3b83d38c
record_format Article
spelling doaj-68174b8421f548a6b593ac5c3b83d38c2021-09-05T18:16:48ZengSciendoFormalized Mathematics1426-26301898-99342011-01-0119319320310.2478/v10037-011-0028-zFree Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order LanguagesCaminati Marco0Mathematics Department "G. Castelnuovo", Sapienza University of Rome, Piazzale Aldo Moro 5, 00185 Roma, Italyhttps://doi.org/10.2478/v10037-011-0028-z
collection DOAJ
language English
format Article
sources DOAJ
author Caminati Marco
spellingShingle Caminati Marco
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
Formalized Mathematics
author_facet Caminati Marco
author_sort Caminati Marco
title Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
title_short Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
title_full Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
title_fullStr Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
title_full_unstemmed Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
title_sort free interpretation, quotient interpretation and substitution of a letter with a term for first order languages
publisher Sciendo
series Formalized Mathematics
issn 1426-2630
1898-9934
publishDate 2011-01-01
url https://doi.org/10.2478/v10037-011-0028-z
work_keys_str_mv AT caminatimarco freeinterpretationquotientinterpretationandsubstitutionofaletterwithatermforfirstorderlanguages
_version_ 1717786056868233216

Similar Items