Publications

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

AuthID
P-00G-3CA

Author(s)

Kinyon, M

Veroff, R

Vojtechovsky, P

Editor(s)

Bonacina,M;Stickel,ME

Document Type

Article

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7788, Pages: 151-164

Indexing

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-36675-8-8

Scopus: 2-s2.0-84875943383

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

Useful Links

Get Help

Federated Authentication (Click on the image)

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

Useful Links

Get Help