Explore: Algebraïsche Logica

“Rewriting Techniques and Applications” Metadata:

• Title: ➤  Rewriting Techniques and Applications
• Author: Jean-Pierre Jouannaud
• Language: English
• Number of Pages: Median: 441
• Publisher: Springer-Verlag - Springer
• Publish Date: 1985 - 1986
• Publish Location: New York - Berlin

“Rewriting Techniques and Applications” Subjects and Themes:

• Subjects: ➤  Réécriture - Algebraïsche logica - Algorithme - Informatique théorique - Logiciel - Congrès - Computer programming - Termersetzungssystem - Démonstration théorème - Bewijstheorie - Algorithmes - Réécriture, Systèmes de (Informatique) - Rewriting systems (Computer science) - Specificatie - Démonstration automatique - Computer algorithms - Programmation (Informatique) - Congresses - Unification - Programmation en logique - Computermethoden - Algorithms - Machine theory - Systèmes de réécriture (Informatique) - Datenverarbeitung - Produktion - Reduktionssystem

Edition Identifiers:

• The Open Library ID: OL2540880M - OL12772163M - OL7443581M
• Online Computer Library Center (OCLC) ID: 12582911
• Library of Congress Control Number (LCCN): 85022164
• All ISBNs: 0387159762 - 9783540159766 - 9780387159768 - 3540159762

“Algebra, Logic, Set Theory (Studies in Logic)” Metadata:

• Title: ➤  Algebra, Logic, Set Theory (Studies in Logic)
• Author: B, Loewe
• Language: English
• Number of Pages: Median: 324
• Publisher: College Publications
• Publish Date: 2007

“Algebra, Logic, Set Theory (Studies in Logic)” Subjects and Themes:

• Subjects: ➤  Algebraic logic - Set theory - Algebraïsche logica - Logica - Algebra - Mathematische Logik - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL8774590M
• Online Computer Library Center (OCLC) ID: 85689456
• All ISBNs: 1904987281 - 9781904987284

“Many-dimensional modal logics” Metadata:

• Title: Many-dimensional modal logics
• Author: Dov M. Gabbay
• Language: English
• Number of Pages: Median: 747
• Publisher: Elsevier North Holland
• Publish Date: 2003
• Publish Location: Boston - Amsterdam

“Many-dimensional modal logics” Subjects and Themes:

• Subjects: ➤  Nonclassical mathematical logic - Modality (Logic) - Algebraïsche logica - Logic - PHILOSOPHY - Universele algebra - Modale logica

Edition Identifiers:

• The Open Library ID: OL17098442M
• Online Computer Library Center (OCLC) ID: 52567285
• Library of Congress Control Number (LCCN): 2004272978
• All ISBNs: 9780444508263 - 0444508260

“Algebraizable logics” Metadata:

• Title: Algebraizable logics
• Author: W. J. Blok
• Language: English
• Number of Pages: Median: 78
• Publisher: American Mathematical Society
• Publish Date: 1989
• Publish Location: Providence, R.I., USA

“Algebraizable logics” Subjects and Themes:

• Subjects: ➤  Algebraic logic - Symbolic and mathematical Logic - 31.10 logic, set theory - Algebraisierbare Logik - Mathematische Logik - Algebraïsche logica - Logica Matematica

Edition Identifiers:

• The Open Library ID: OL2032448M
• Online Computer Library Center (OCLC) ID: 18463954
• Library of Congress Control Number (LCCN): 88008130
• All ISBNs: 0821824597 - 9780821824597

“Rewriting techniques and applications” Metadata:

• Title: ➤  Rewriting techniques and applications
• Author: Pierre Lescanne

“Rewriting techniques and applications” Subjects and Themes:

• Subjects: ➤  Réécriture - Algebraïsche logica - Réécriture, Systèmes de (informatique) - Implémentation - Génération code - Congrès - Produktion (Informatik) - Informatique - Théorie groupe - Termersetzungssystem - Bewijstheorie - Algorithmes - Datenverarbeitung - Réécriture, Systèmes de (Informatique) - Reduktionssystem - Specificatie - Complétude - Kongress - Computermethoden - Computer algorithms - Programmation (Informatique) - Congresses - Computer programming - Rewriting systems (Computer science) - Compilation