scientific article; zbMATH DE number 7297813

zbMATH Open1457.68164arXiv1610.01470MaRDI QIDQ5144611FDOQ5144611

Patrick Totzke, Jérôme Leroux, Piotr Hofman

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1610.01470

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Directed reachability for infinite-state systems
• Title not available (Why is that?)
• Solvability of orbit-finite systems of linear equations
• Linear equations for unordered data vectors in $[D]^k\to{}Z^d$

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Distribution of linear combinations of unordered and ordered components of an elliptical random vector 👍 👎
• Data coding by linear forms of numerical sequences 👍 👎
• Linearly unrelated sequences 👍 👎
• An ordering linear unification algorithm 👍 👎
• Convex linear combinations of compositions 👍 👎
• Linear equations for unordered data vectors in $[D^k\to{}Z^d$] 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5144611)