Back to Results
First PageMeta Content



ON THE SATISFIABILITY PROBLEM FOR CLASSES OF STRUCTURES RELATED TO FINITE DIMENSIONAL VECTOR SPACES CHRISTIAN HERRMANN, YASUYUKI TSUKAMOTO, AND MARTIN ZIEGLER 1. Introduction
Add to Reading List

Document Date: 2015-06-30 19:27:29

Open Document

File Size: 250,91 KB

Share Result on Facebook

City

Springer-Verlag / /

Company

BP / /

Country

Germany / Japan / /

Facility

Kyoto University / /

IndustryTerm

canonical hermitean scalar product / /

Organization

German Research Foundation / European Union / German Academic Exchange Service / Kyoto University / /

Person

L. Bravo / Olga Kharlampovich / YASUYUKI TSUKAMOTO / MARTIN ZIEGLER / CHRISTIAN HERRMANN / /

Position

Editor / /

ProvinceOrState

New York / /

PublishedMedium

Algebra i Logika / /

URL

http /

SocialTag