1
0
0
News
Netzwerk-Profile
LinkedIn: Robert Cremanns – Software Developer – SAP | LinkedIn
› robert-cremanns-8949b4211
Robert Cremanns | Semantic Scholar
www.semanticscholar.org
Semantic Scholar profile for Robert Cremanns, with 7 highly influential citations and 7 scientific research papers.
Ausbildung
Projekt A12 - Konvergente Darstellungen algebraischer Strukturen
www.theory.informatik.uni-kassel.de
Projekt A12 - Konvergente Darstellungen algebraischer Strukturen ... Robert Cremanns ... Cremanns, R. and Otto, F. : FP ...
`ÜìêÅÜJoçëëÉê=i~åÖì~ÖÉë=~åÇ=oÉä~íÉÇ=`ä~ëëÉë= …
www.uni-kassel.de
I thank Gerhard Buntrock, Robert Cremanns, Dieter Hofbauer, Maria Huber and Klaus Wich for their companionship and con-tinuous encouragement, ...
1 Introduction 2 Problem de nitions
www.theory.informatik.uni-kassel.de
Robert Cremanns. Fachbereich Mathematik/Informatik. Universit at Kassel Kassel. Germany. .uni-kassel.de ...
A Completion Procedure For Finitely Presented Groups That Is ...
www.theory.informatik.uni-kassel.de
Robert Cremanns and Friedrich Otto. Fachbereich Mathematik/Informatik, Universit at Kassel, D{ Kassel. e-mail: <cremanns ...
Herkunft
Robert Cremanns - The Mathematics Genealogy Projectnodak.edu
www.genealogy.math.ndsu.nodak.edu
A service of the NDSU Department of Mathematics, in association with the American Mathematical Society. Robert Cremanns. MathSciNet. Ph.D. Universität Kassel ...
Bücher
Rewriting Techniques and Applications: 7th International ...google.co.jp
books.google.co.jp
... Robert Cremanns Nick Cropper Vincent Danos Max Dauchet Jörg Denzinger Dan Dougherty Gilles Dowek Irène Durand Rachid Echahed Maribel Fernández Roland Fettig ...
DNB, Katalog der Deutschen Nationalbibliothek
portal.dnb.de
Titel, Finiteness conditions for rewriting systems / von Robert Cremanns. Person(en), Cremanns, Robert (Verfasser). Zeitliche Einordnung, Erscheinungsdatum: ... › opac › showNextRecord › any
Rewriting Techniques and Applications: 7th International ...google.com
books.google.com
... Denis Bechet Maria Paola Bonacina Alexandre Boudet I. Cervesato Shangching Chou Evelyne Contejean Robert Cremanns Nick Cropper Vincent Danos Max Dauchet ...
Rewriting Techniques and Applications: 7th International Conference,...
books.google.de
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ,...
Dokumente zum Namen
CNNs based Viewpoint Estimation for Volume VisualizationarXiv
arxiv.org
von N Shi · · Zitiert von: 22 — [3] Robert Cremanns and Friedrich O o Constructing Canonical Presentations for Subgroups of Context-free. Groups in Polynomial Time (Extended Abstract) ... von N Shi · · Zitiert von: 22 — [3] Robert Cremanns and Friedrich O o Constructing Canonical Presentations for Subgroups of Context-free. Groups in Polynomial Time (Extended Abstract) ...
A Complete Bibliography of Publications in the Journal ...The Netlib
www.netlib.org
von NHF Beebe · — [562] Robert Cremanns and Friedrich Otto. A completion procedure for finitely pre- sented groups that is based on word cy- cles. Journal of ... von NHF Beebe · — [562] Robert Cremanns and Friedrich Otto. A completion procedure for finitely pre- sented groups that is based on word cy- cles. Journal of ...
Archivsuche | Archive in Nordrhein Westfalen |Archive NRW
www.archive.nrw.de
(60690) Entnazifizierung Robert Cremanns, geb (Vertreter). (60691) Entnazifizierung Hans Dreyer, geb (Techn.Direktor). (60692) ... (60690) Entnazifizierung Robert Cremanns, geb (Vertreter). (60691) Entnazifizierung Hans Dreyer, geb (Techn.Direktor). (60692) ...
Algebraic PolygraphsInstitut Camille Jordan
math.univ-lyon1.fr
[8] Robert Cremanns and Friedrich Otto. For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP [8] Robert Cremanns and Friedrich Otto. For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP3 ...
Wissenschaftliche Veröffentlichungen
Finite Derivation Type Implies The Homological ...ScienceDirect.com
www.sciencedirect.com
von R Cremanns · · Zitiert von: 58 — ... ROBERT CREMANNS AND FRIEDRICH OTTO. Fachbereich Mathematik/Informatik, Universit酹 GH Kassel, D Kassel. E-Mail: {cremanns,otto} @theory.informatik.uni ... von R Cremanns · · Zitiert von: 58 — ... ROBERT CREMANNS AND FRIEDRICH OTTO. Fachbereich Mathematik/Informatik, Universit酹 GH Kassel, D Kassel. E-Mail: {cremanns,otto} @theory.informatik.uni ...
Applicable Algebra in Engineering, Communication and ...dblp: computer science bibliography
dblp.org
Robert Cremanns: Prefix-Rewriting on Context-Free Groups text to speech. view. electronic edition via DOI · unpaywalled version · references & ... Robert Cremanns: Prefix-Rewriting on Context-Free Groups text to speech. view. electronic edition via DOI · unpaywalled version · references & ...
Friedrich Ottodblp: computer science bibliography
dblp.org
Robert Cremanns, Friedrich Otto: A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. J. Autom. Reason. 28(3): (2002) ... Robert Cremanns, Friedrich Otto: A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. J. Autom. Reason. 28(3): (2002) ...
Polygraphs of finite derivation typeArchive ouverte HAL
hal.science
von Y Guiraud · Zitiert von: 76 — Robert Cremanns and Friedrich Otto. Finite derivation type implies the homological finiteness condi- tion FP3. J. Symbolic Comput., 18(2): von Y Guiraud · Zitiert von: 76 — Robert Cremanns and Friedrich Otto. Finite derivation type implies the homological finiteness condi- tion FP3. J. Symbolic Comput., 18(2):
Veröffentlichungen allgemein
For Groups the Property of Having Finite Derivation Type is ...CORE
core.ac.uk
von R CREMANNS · · Zitiert von: 59 — ROBERT CREMANNS AND FRIEDRICH OTTO. †. Fachbereich Mathematik/Informatik, Universität Gh Kassel, D Kassel, Germany. (Received 3 July 1995). The ... von R CREMANNS · · Zitiert von: 59 — ROBERT CREMANNS AND FRIEDRICH OTTO. †. Fachbereich Mathematik/Informatik, Universität Gh Kassel, D Kassel, Germany. (Received 3 July 1995). The ...
A Completion Procedure for Finitely Presented Groups ...Springer
link.springer.com
von R Cremanns · · Zitiert von: 3 — Robert Cremanns & ... Author information. Authors and Affiliations. Fachbereich Mathematik/Informatik, Universität Kassel, D , Kassel, Germany. Robert ... von R Cremanns · · Zitiert von: 3 — Robert Cremanns & ... Author information. Authors and Affiliations. Fachbereich Mathematik/Informatik, Universität Kassel, D , Kassel, Germany. Robert ...
An Efficient Strategy for Word-Cycle Completion in Finitely ...ResearchGate
www.researchgate.net
... Robert Cremanns · Friedrich Otto . A Knuth-Bendix style completion procedure for groups is presented that, instead of working with sets of string-rewriting Robert Cremanns · Friedrich Otto . A Knuth-Bendix style completion procedure for groups is presented that, instead of working with sets of string-rewriting ...
Higher-dimensional normalisation strategies for acyclicityCORE
core.ac.uk
von Y Guiraud · Zitiert von: 71 — [13] Robert Cremanns and Friedrich Otto, Finite derivation type implies the homological finiteness condition FP3,. J. Symbolic Comput von Y Guiraud · Zitiert von: 71 — [13] Robert Cremanns and Friedrich Otto, Finite derivation type implies the homological finiteness condition FP3,. J. Symbolic Comput
Video & Audio
ISM Body/Soul Marathon Robert CremannsYouTube
www.youtube.com
ISM Body/Soul Marathon Robert Cremanns. Watch later. Share. Copy link. Info. Shopping. Tap to unmute. If playback doesn't begin shortly, try restarting ...
Sincerity Marathon, Day 8, by Robert CremannsYouTube
www.youtube.com
Sincerity Marathon, Day 8, by Robert Cremanns views Streamed 3 years ago. ISM Inner Space. ISM Inner Space subscribers. Subscribe.
Sonstiges
AMS :: Transactions of the American Mathematical SocietyAmerican Mathematical Society
www.ams.org
von R Gray · · Zitiert von: 24 — Robert Cremanns and Friedrich Otto, For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP 3 , J ... von R Gray · · Zitiert von: 24 — Robert Cremanns and Friedrich Otto, For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP 3 , J ...
BibTeX bibliography issac.bibThe Netlib
www.netlib.org
... Robert Cremanns and Friedrich Otto", title = "Constructing canonical presentations for subgroups of context-free groups in polynomial time-extended abstract Robert Cremanns and Friedrich Otto", title = "Constructing canonical presentations for subgroups of context-free groups in polynomial time-extended abstract ...
About Robert Cremanns: Ph.D. Universität Kassel | Biography ...peoplepill.com › robert-cremanns
peoplepill.com
Robert Cremanns ; Quick Facts · Ph.D. Universität Kassel ; Intro, Ph.D. Universität Kassel ; Gender, male ; Education. University of Kassel ...
Robert Cremanns - The Mathematics Genealogy Projectwww.mathgenealogy.org › ...
www.mathgenealogy.org
Robert Cremanns. MathSciNet. Ph.D. Universität Kassel Germany. Dissertation: Finiteness Conditions for Rewriting Systems. Advisor: Friedrich Wilhelm Eugen ...
BibTeX bibliography jautomreason.bib - Index of files in /ftp.math.utah.edu › pub › tex › bib › jautomreason
ftp.math.utah.edu
... Robert Cremanns and Friedrich Otto", title = "A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles", journal = j-J-AUTOM-REASON ...
Constructing canonical presentations for subgroups of context-free ...www.semanticscholar.org › paper › Constructing-ca...
www.semanticscholar.org
... Robert Cremanns, F. Otto; Published in International Symposium on… 1 August 1994; Mathematics, Computer Science. TLDR. A polynomial-time algorithm is presented ...
AMS :: Transactions of the American Mathematical Society
www.ams.org
von R Gray · · Zitiert von: 17 — MR · Robert Cremanns and Friedrich Otto, For groups the property of having finite derivation type is equivalent to the homological finiteness ... › tran
A Completion Procedure for Finitely Presented Groups That Is Based on...
vdocuments.site
Journal of Automated Reasoning 28: 235–256, © Kluwer Academic Publishers. Printed in the Netherlands A Completion Procedure for Finitely...
[PDF] For Groups the Property of Having Finite Derivation Type is ...oa.mg › work › jsco
oa.mg
Robert Cremanns,Friedrich Otto ... “For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP3” is a paper ...
https://cgi.cse.unsw.edu.au/~eptcs/references.cgi?...cgi.cse.unsw.edu.au › ~eptcs › references › LSFA20...
cgi.cse.unsw.edu.au
... {Robert Cremanns and Friedrich Otto}, year = {2002}, title = {A Completion {P}rocedure for Finitely Presented Groups That Is Based on Word Cycles}, journal ...
For Groups the Property of Having Finite Derivation Type is...
www.infona.pl
... Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP 3. more. less. ROBERT CREMANNS, FRIEDRICH OTTO.
Journal of Automated Reasoning
www.infona.pl
Robert Cremanns, Friedrich Otto · Journal of Automated Reasoning > > 28 > 3 > A Knuth–Bendix-style completion procedure for groups is presented that, instead of working with sets of string-rewriting rules, manipulates finite sets of word cycles. A characterization is given for the resulting ...
[PDF] Logged Rewriting Procedures with Application to Identities...
www.semanticscholar.org
— Robert Cremanns, F. Otto. Mathematics. J. Symb. Comput TLDR. The homological finiteness propertyFP3and the combinatorial property of ... › ...
Verwandte Suchanfragen zu Robert Cremanns
Camille Jordan Karsten Sohr Katharina Leber |
Personen Vorname "Robert" (66197) Name "Cremanns" (47) |
sortiert nach Relevanz / Datum