SCOPUS 정보 검색 플랫폼

Volumn 26, Issue 4, 2001, Pages 409-431

Semi-Thue systems with an inhibitor

Author keywords

Semi True system; String rewriting; Termination; Uniform termination; Well behaved derivation

Indexed keywords

COMPUTATIONAL METHODS; CONTEXT FREE GRAMMARS; MATHEMATICAL MODELS; PROBLEM SOLVING;

SEMI-THUE SYSTEMS; STRING REWRITING;

SEMANTICS;

EID: 0035340243 PISSN: 01687433 EISSN: None Source Type: Journal
DOI: 10.1023/A:1010759024900 Document Type: Article

Times cited : (13)

References (18)

2
- 0004449398
- Three models for the description of language
- (1956) IRE Trans. Inform. Theory , vol.IT2 , pp. 113-124
- Chomsky, N.¹

4
- 84910829499
- Termination of rewriting
- (1987) J. Symbolic Comput. , vol.3 , pp. 69-115
- Dershowitz, N.¹

6
- 0004353042
- Topics in termination
- C. Kirchner (ed.), Lecture Notes in Comput. Sci. 690, Springer-Verlag
- (1993) Rewriting Techniques and Applications
- Dershowitz, N.¹ Hoot, C.²

7
- 0005022808
- On proving uniform termination and restricted termination of rewriting systems
- (1983) SIAM J. Comput. , vol.12 , pp. 189-214
- Guttag, J.V.¹ Kapur, D.² Musser, D.R.³

8
- 0003601479
- Monographs Theoret. Comput. Sci. 14, Springer-Verlag
- (1988) Confluent String Rewriting
- Jantzen, M.¹

11
- 4243380420
- Unpublished paper of five pages distributed by the author, summarizing [9]
- Explanations to the text
- Kurth, W.¹

12
- 5844387837
- One-rule semi-Thue systems with loops of length one, two or three
- (1996) Inform. Théor Appl. , vol.30 , pp. 415-429
- Kurth, W.¹

13
- 0005058416
- The development of formal language theory since 1956
- (1990) Internat. J. Found. Comput. Sci. , vol.I , pp. 355-368
- McNaughton, R.¹

14
- 0003569002
- Report 94-18, Department of Computer Science, Rensselaer Polytechnic Institute
- (1994) The uniform halting problem for one-rule semi-Thue systems: Progress report
- McNaughton, R.¹

15
- 0003569004
- Report 95-15, Department of Computer Science, Rensselaer Polytechnic Institute
- (1995) Well behaved derivations in one-rule semi-Thue systems
- McNaughton, R.¹

16
- 84957653056
- On the termination problem for one-rule semi-Thue systems
- Lecture Notes in Comput. Sci
- (1996) Proceedings of R.T.A. 96 , vol.1103 , pp. 302-316
- Sénizergues, G.¹

17
- 0004996591
- Probleme über veränderungen von zeichenreihen nach gegebenen regeln
- (1914) Skr. Vid. Kristiania, I. Mat. Naturw. Klasse , Issue.10
- Thue, A.¹

18
- 84955589946
- s
- J. Hsiang (ed.), Lecture Notes in Comput. Sci. 914, Springer-Verlag
- (1955) Proceedings of the 6th Conference on Rewriting Techniques and Applications of 1995 , pp. 41-55
- Zantema, H.¹ Geser, A.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.