Operations on Fixpoint Equation Systems
We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by their definition, and swapping the ordering of equations, preserve the solution of a FES. We provide rigorous, computer-c...
-д хадгалсан:
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
Logical Methods in Computer Science e.V.
2024-07-01
|
| Цуврал: | Logical Methods in Computer Science |
| Нөхцлүүд: | |
| Онлайн хандалт: | http://lmcs.episciences.org/11199/pdf |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|