Algebraic and logical methods in computer science: some aspects

Sofronie-Stokkermans, Viorica

Local TagsRelease HistoryDetailsSummary

Algebraic and logical methods in computer science: some aspects

Sofronie-Stokkermans, V. (2007). Algebraic and logical methods in computer science: some aspects. In A. Iorgulescu, S. Marcus, S. Rudeanu, & D. Vaida (Eds.), Grigore C. Moisil and his followers (pp. 488-493). Bucharest, Romania: Editura Academiei Romane.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1DF6-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1DF7-C

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Sofronie-Stokkermans, Viorica^{1, 2}, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2008-02-28Date issued: 2007

Publication Status: Issued

Pages: -

Publishing info: Bucharest, Romania : Editura Academiei Romane

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 356423
Other: Local-ID: C12573CC004A8E26-9DC76DF9782DA773C12573D2004A1CDF-Sofronie-Stokkermans-moisil-08

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Grigore C. Moisil and his followers

Source Genre: Book

Creator(s):
Iorgulescu, Afrodita, Editor
Marcus, Solomon, Editor
Rudeanu, Sergiu, Editor
Vaida, Dragos, Editor

Affiliations:
-

Publ. Info: Bucharest, Romania : Editura Academiei Romane

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 488 - 493 Identifier: ISBN: 978-973-27-1607-6