KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT.

Saved in:

Bibliographic Details
Title:	KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT.
Authors:	BUNCH, CARTER¹, SATTERFIELD, SARAID DWYER¹, ERBATUR, SERDAR², MARSHALL, ANDREW M.¹, RINGEISSEN, CHRISTOPHE³
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p
Database:	Applied Science & Technology Source

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