Showing
1 - 2
results of
2
Skip to content
Institutional Login
Language
English
Te reo Māori
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Sernadas, Cristina
Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas
(born 1951) is a Portuguese
mathematical logic
ian whose research topics have included
object-oriented
specification language
s and logics for
information system
s, and the use of
category theory
in the combination ("fibring") of multiple types of logic. She is Professor for Logic and Computation in the Department of Mathematics of the
Technical University of Lisbon
.
Provided by Wikipedia
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Decidability of Logical Theories and Their Combination /
by
Rasga, João
,
Sernadas, Cristina
Published 2020
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /
by
Futatsugi, Kokichi
,
Jouannaud, Jean-Pierre
,
Meseguer, José
Published 2006
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Algebra
Data processing
Logic, Symbolic and mathematical
Mathematics
Philosophy