PROVER-ADVERSARY GAMES FOR SYSTEMS OVER (NON-DETERMINISTIC) BRANCHING PROGRAMS.

Saved in:

Bibliographic Details
Title:	PROVER-ADVERSARY GAMES FOR SYSTEMS OVER (NON-DETERMINISTIC) BRANCHING PROGRAMS.
Authors:	DAS, ANUPAM¹, a.das@bham.ac.uk, DELKOS, AVGERINOS¹, axd1010@alumni.bham.ac.uk
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-34, 34p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(2:18)2026