( en | de | ru )

 

Disambiguation of "Fajstrup, Lisbeth"

Author of the publication

copydeleteadd this publication to your clipboard
On the Hierarchy of d-structures.

, and . Order, 34 (1): 139-163 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lisbeth Mendoza

Synthesis and characterisation of metal complexes with phosphylamine ligands. Uni Leipzig, (2009)

Lisbeth Schorr

Lisbeth Lerner

Lisbeth Lerner

Lisbeth Wittig

 

Other publications of authors with the same name

On the Hierarchy of d-structures., and . Order, 34 (1): 139-163 (2017)Trace spaces of directed tori with rectangular holes.. Math. Struct. Comput. Sci., (2014)Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again.. Spatial Representation, volume 04351 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2005)Cut-off theorems for the PV-model.. Formal Methods Syst. Des., 59 (1): 21-43 (2021)Cubical local partial orders on cubically subdivided spaces - Existence and construction.. Theor. Comput. Sci., 365 (3): 199-205 (2006)Algebraic topology and concurrency., , and . Theor. Comput. Sci., 357 (1-3): 241-278 (2006)Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint., and . GETCO, volume 39 of Electronic Notes in Theoretical Computer Science, page 1-19. Elsevier, (2000)Detecting Deadlocks in Concurrent Systems., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 332-347. Springer, (1998)Cut-off Theorems for the PV-model.. CoRR, (2018)Loops, ditopology and deadlocks.. Math. Struct. Comput. Sci., 10 (4): 459-480 (2000)