Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Membership problems for positive one-relator groups and one-relation monoids
Published in Canadian journal of mathematics
(16.01.2025)
Get full text
Journal Article
Relative subgroup growth and subgroup distortion
Published in Groups, geometry and dynamics
(01.01.2015)
Get full text
Journal Article
Software model checking using languages of nested trees
Alur, Rajeev, Chaudhuri, Swarat, Madhusudan, P.
Published in ACM transactions on programming languages and systems (01.11.2011)
Published in ACM transactions on programming languages and systems (01.11.2011)
Get full text
Journal Article
Adversarial Formal Semantics of Attack Trees and Related Problems
Brihaye, Thomas, Pinchinat, Sophie, Terefenko, Alexandre
Published in Electronic proceedings in theoretical computer science (20.09.2022)
Published in Electronic proceedings in theoretical computer science (20.09.2022)
Get full text
Journal Article
Abstract commensurability and the Gupta–Sidki group
Published in Groups, geometry and dynamics
(01.01.2016)
Get full text
Journal Article
Adversarial Formal Semantics of Attack Trees and Related Problems
Get full text
Paper
Journal Article
Inverse monoids, trees and context-free languages
Published in Transactions of the American Mathematical Society
Get full text
Journal Article