使困惑 发表于 2025-4-1 02:55:57

http://reply.papertrans.cn/28/2703/270223/270223_61.png

执拗 发表于 2025-4-1 08:02:56

Human-Computer Systems Interaction two strings . and ., a site-directed deletion partially deletes a substring of . guided by the string . that specifies which part of a substring can be deleted. We study a few decision problems with respect to the new operation and examine the closure properties of the (iterated) site-directed dele

野蛮 发表于 2025-4-1 10:11:00

http://reply.papertrans.cn/28/2703/270223/270223_63.png

诱拐 发表于 2025-4-1 14:48:47

A Brief Excursion to Parity Games,terms of running time, this is currently the most efficient algorithm that solves the parity games problem. The goal of this lecture is to give a brief background to the problem and present the algorithm in a somewhat informal way with a bit more emphasis on ideas rather than formal details.

botany 发表于 2025-4-1 19:50:48

A Tale of Conjunctive Grammars,ubstring that satisfies several syntactic conditions simultaneously. This family has been systematically studied since the turn of the century, and is a subject of current studies. This paper gives an overview of the current state of the art in the research on conjunctive grammars.
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Developments in Language Theory; 22nd International C Mizuho Hoshi,Shinnosuke Seki Conference proceedings 2018 Springer Nature Switzerland