Reply to comment

An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability

Title	An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Publication Type	Conference Proceedings
Year of Conference	2007
Authors	Abate P, Gore R, Widmann F
Conference Name	M4M
Series Title	ENTCS
Conference Start Date	2007
Publisher	Elsevier
URL	papers-download/abate-gore-widmann-pdl.pdf

Subject:

Comment: *

Input format

Filtered HTML

Web page addresses and e-mail addresses turn into links automatically.
Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
Lines and paragraphs break automatically.

blog

You can use Mediawiki syntax. It is possible that not all formatting options are supported at the moment.
Links to other pages: [[Page Title]] or [[path/to/page|Title]].
External links: http://example.com or [http://example.com some link title].
Interwiki links: [[site:Page Title]].
You can use the following interwiki links: path, gdo, wp
Images are included with [[Image:name]]. (wikipedia help)
You can enable syntax highlighting of source code with the following tags: <code>, <blockcode>. The supported tag styles are: <foo>, [foo].

CAPTCHA

This question is for testing whether you are a human visitor and to prevent automated spam submissions.

Enter the code above: *

Enter the code without spaces and pay attention to upper/lower case.