Entry Ohtani:1994:EIT from lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Ohtani:1994:EIT,
author = "T. Ohtani and H. Sawamura and T. Minami",
title = "{EUODHILOS-II} on top of {GNU} Epoch",
journal = j-LECT-NOTES-COMP-SCI,
volume = "814",
pages = "816--820",
year = "1994",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Wed Oct 30 10:18:39 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs1994.bib",
abstract = "EUODHILOS-II is implemented on the GNU Epoch editor in
the Emacs Lisp language. GNU Emacs produced by the GNU
project is familiar to many users as a text editor,
which exceeds in the ease to extend. Moreover it has
the various functions for such text processing as
syntactic analysis and searching with regular
expressions. Epoch is an extension of GNU Emacs for the
X Window System, which can manipulate multiple windows.
Operations are keyboard-oriented and the usual editing
commands are available in the comment, syntax
definition and side condition editors. Users can
customize EUODHILOS-II as they wish. The size of the
source code of EUODHILOS-II is about 300K bytes.",
acknowledgement = ack-nhfb,
affiliation = "Inst. for Social Inf. Sci., Fujitsu Labs. Ltd.,
Shizuoka, Japan",
classification = "C4210L (Formal languages and computational
linguistics); C6110L (Logic programming); C6170K
(Knowledge engineering techniques)",
keywords = "Emacs Lisp language; EUODHILOS-II; GNU Epoch editor;
Side condition editors; Syntactic analysis; Syntax
definition; Text editor; Text processing; X Window
System",
thesaurus = "Context-free grammars; Inference mechanisms; Logic
programming; Theorem proving",
}
Related entries
- 804-0-ix,
808(0)147,
826(0)13,
827(0)67,
833(0)82,
835(0)1,
835(0)97,
835(0)275,
835(0)293,
837(0)53,
837(0)182,
837(0)209,
837(0)234,
838(0)300,
839(0)174,
856(0)214,
856(0)370,
856(0)380,
856(0)455,
856(0)477,
861(0)214,
867(0)46,
867(0)63,
867(0)83,
867(0)104,
867(0)137,
867(0)178,
867(0)355,
867(0)374,
869(0)164,
869(0)295,
869(0)386,
869(0)437,
876(0)202
- available,
771(0)1,
774(0)125
- code,
765(0)1,
768(0)57,
768(0)430,
773(0)200,
773(0)331,
773(0)343,
773(0)355,
775(0)691,
783(0)67,
783(0)113,
783(0)121,
783(0)251,
783(0)529,
786(0)128,
786(0)294,
786(0)339,
793(0)153,
793(0)191,
793(0)223,
793(0)270,
796(0)92,
796(0)139,
797(0)241,
797(0)508,
811(0)214,
817(0)167,
820(0)605,
829(0)6,
829(0)53,
829(0)63,
829(0)69,
829(0)74,
829(0)80,
829(0)115,
839(0)140,
841(0)618,
854(0)616,
859(0)378,
873(0)346,
879(0)17,
879(0)296
- computational,
763(0)293,
773(0)100,
773(0)100,
776(0)170,
796(0)131,
796(0)274,
797(0)241,
800(0)227,
802(0)72,
805(0)115,
812(0)169,
813(0)184,
820(0)23,
834(0)514,
838(0)50,
851(0)479,
852(0)131,
854(0)359,
864(0)255,
871(0)94,
879(0)1,
880(0)231,
882(0)89
- condition,
820(0)376,
849(0)361,
859(0)269
- definition,
780(0)43,
780(0)140,
788(0)150,
789(0)543,
798(0)94,
802(0)72,
810(0)113,
811(0)367,
813(0)316,
814(0)148,
814(0)821,
815(0)258,
817(0)289,
834(0)600,
835(0)160,
869(0)376,
869(0)488,
873(0)233,
880(0)60
- editing,
855(0)495
- editor,
806(0)213,
814(0)821,
860(0)198
- engineering,
750(0)3,
750(0)5,
750(0)23,
750(0)35,
750(0)119,
750(0)151,
750(0)263,
750(0)283,
750(0)303,
750(0)359,
750(0)429,
750(0)461,
750(0)463,
750(0)473,
750(0)489,
750(0)541,
750(0)543,
750(0)565,
750(0)597,
763(0)2,
763(0)406,
782(0)208,
785(0)30,
811(0)1,
811(0)2,
811(0)14,
811(0)28,
811(0)42,
811(0)53,
811(0)66,
811(0)80,
811(0)94,
811(0)105,
811(0)119,
811(0)135,
811(0)149,
811(0)172,
811(0)186,
811(0)200,
811(0)214,
811(0)228,
811(0)242,
811(0)256,
811(0)269,
811(0)283,
811(0)297,
811(0)311,
811(0)325,
811(0)339,
811(0)353,
811(0)367,
811(0)380,
811(0)394,
811(0)406,
823(0)352,
823(0)364,
837(0)234,
851(0)39,
854(0)381,
856(0)477,
859(0)300,
869(0)427,
876(0)19,
876(0)95
- expression,
774(0)59,
800(0)513,
813(0)191,
815(0)318,
818(0)338,
854(0)713,
872(0)76,
872(0)260,
882(0)145
- extension,
750(0)389,
773(0)292,
784(0)171,
789(0)76,
789(0)321,
810(0)30,
811(0)149,
814(0)72,
814(0)769,
815(0)338,
816(0)326,
823(0)110,
839(0)50,
854(0)593,
854(0)725,
860(0)162,
861(0)260,
875(0)319
- Formal,
750(0)389,
750(0)597,
763(0)180,
763(0)190,
767(0)1,
780(0)43,
780(0)490,
786(0)233,
791(0)93,
811(0)135,
817(0)202,
818(0)182,
821(0)344,
823(0)1,
849(0)117,
849(0)135,
851(0)433,
851(0)563,
852(0)77,
854(0)136,
856(0)400,
856(0)521,
859(0)144,
859(0)177,
859(0)300,
859(0)316,
861(0)178,
861(0)367,
862(0)130,
863(0)738,
863(0)756,
865(0)1,
867(0)26,
867(0)283,
873(0)26,
873(0)35,
873(0)55,
873(0)105,
873(0)291,
873(0)326,
873(0)421,
873(0)602,
873(0)618,
873(0)703,
882(0)145
- function,
765(0)77,
765(0)102,
765(0)181,
765(0)286,
765(0)293,
765(0)293-1,
765(0)305,
766(0)1,
773(0)49,
773(0)175,
773(0)331,
773(0)368,
773(0)379,
774(0)251,
774(0)300,
775(0)449,
776(0)170,
778(0)63,
783(0)242,
787(0)100,
792(0)255,
793(0)359,
800(0)125,
802(0)143,
802(0)320,
802(0)333,
809(0)71,
809(0)83,
809(0)157,
814(0)371,
814(0)620,
815(0)99,
818(0)41,
818(0)364,
819(0)299,
825(0)215,
825(0)359,
834(0)324,
834(0)396,
834(0)584,
835(0)160,
839(0)75,
839(0)247,
839(0)369,
841(0)546,
844(0)465,
847(0)77,
849(0)114,
850(0)242,
854(0)878,
861(0)331,
864(0)266,
864(0)329,
866(0)6,
866(0)58,
866(0)159,
866(0)239,
866(0)249,
868(0)216,
872(0)10,
872(0)100,
877(0)80,
877(0)108
- has,
786(0)309,
826(0)1
- implemented,
797(0)215,
800(0)167
- linguistics,
813(0)89
- Lisp,
797(0)445
- multiple,
783(0)67,
783(0)251,
783(0)476,
784(0)403,
788(0)58,
798(0)171,
800(0)61,
800(0)101,
800(0)189,
800(0)316,
800(0)471,
800(0)589,
807(0)43,
807(0)226,
811(0)269,
825(0)381,
827(0)332,
830(0)69,
837(0)353,
839(0)26,
851(0)305,
852(0)453,
853(0)116,
854(0)371,
856(0)744,
864(0)281
- operation,
768(0)21,
775(0)341,
779(0)7,
809(0)116,
834(0)279,
834(0)575,
838(0)19,
844(0)292,
854(0)485,
874(0)1,
875(0)335,
876(0)35
- processing,
776(0)1,
779(0)95,
786(0)324,
794(0)305,
796(0)1,
796(0)32,
796(0)232,
797(0)24,
797(0)172,
797(0)445,
817(0)753,
817(0)789,
829(0)109,
835(0)69,
846(0)259,
849(0)156,
851(0)377,
865(0)291,
869(0)561,
879(0)190,
879(0)194
- project,
750(0)151,
750(0)177,
750(0)227,
750(0)285,
750(0)303,
750(0)345,
763(0)427,
780(0)239,
783(0)428,
796(0)46,
797(0)499,
811(0)80,
811(0)214,
851(0)61,
858(0)79,
860(0)262,
868(0)53,
868(0)216,
868(0)300,
869(0)427,
875(0)217
- regular,
774(0)209,
775(0)533,
780(0)99,
784(0)355,
798(0)222,
812(0)396,
818(0)364,
836(0)449,
862(0)16,
862(0)25,
862(0)130,
862(0)139,
862(0)203,
862(0)236,
872(0)76,
872(0)260,
872(0)282,
880(0)149
- Sawamura, H.,
774(0)45
- searching,
772(0)35,
807(0)113,
823(0)74,
824(0)183,
834(0)660,
855(0)10,
855(0)82,
855(0)240,
865(0)238
- size,
765(0)118,
768(0)617,
779(0)287,
812(0)325,
820(0)520,
825(0)215,
834(0)584,
839(0)164,
841(0)443,
853(0)72,
854(0)76,
866(0)130
- source,
800(0)227
- syntactic,
786(0)263,
789(0)385,
789(0)543,
812(0)396,
822(0)31,
838(0)198,
845(0)136,
862(0)168
- syntax,
776(0)19,
780(0)414,
785(0)280,
788(0)89,
802(0)513,
822(0)159
- technique,
750(0)303,
768(0)340,
771(0)1,
772(0)40,
774(0)159,
778(0)40,
780(0)267,
783(0)162,
783(0)476,
784(0)391,
784(0)399,
785(0)30,
788(0)120,
794(0)1,
794(0)25,
794(0)52,
794(0)76,
794(0)89,
794(0)111,
794(0)123,
794(0)139,
794(0)159,
794(0)180,
794(0)193,
794(0)213,
794(0)231,
794(0)253,
794(0)266,
794(0)284,
794(0)305,
794(0)321,
794(0)335,
794(0)353,
794(0)369,
794(0)389,
794(0)406,
794(0)425,
794(0)445,
796(0)84,
796(0)183,
797(0)401,
800(0)152,
803(0)375,
814(0)267,
817(0)49,
817(0)109,
817(0)577,
817(0)749,
821(0)344,
823(0)190,
823(0)315,
827(0)1,
841(0)462,
844(0)147,
844(0)355,
849(0)89,
849(0)99,
849(0)135,
849(0)318,
851(0)367,
852(0)77,
852(0)309,
854(0)461,
856(0)57,
856(0)370,
858(0)171,
861(0)130,
861(0)226,
862(0)168,
873(0)83,
873(0)190,
873(0)639,
879(0)425,
882(0)145
- text,
779(0)379,
807(0)113,
835(0)69,
835(0)84,
835(0)97,
835(0)196,
841(0)413,
855(0)10,
855(0)495,
856(0)339,
860(0)46,
872(0)395
- top,
774(0)3,
774(0)191,
811(0)42,
822(0)84,
856(0)531,
858(0)189
- users,
860(0)16,
860(0)144
- various,
774(0)197,
834(0)199,
834(0)306,
860(0)51,
872(0)365
- which,
788(0)363,
815(0)358,
855(0)10
- Window,
860(0)96
- X,
812(0)410