Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of meta-variables. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
meta-variable, context, ?-calculus, logical framework |
43 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of Meta-variables. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Amir Shahab Shahabi, Mohammad Reza Kangavari |
A Fuzzy Approach for Persian Text Segmentation Based on Semantic Similarity of Sentences. |
Intelligent Information Processing |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Similarity Relation, Fuzzy Proximity Relation, Lemma, Fuzzy Relations Composition, Anti-Redundancy, Syntax Parser, Meta Variable, Meta Rule, Paradigmatic, Tokenizer, Multi-Document Summarizer, Lemmatizer |
16 | Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning |
A modal foundation for meta-variables. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
modal type theory, pattern unification, logical frameworks |
13 | Jonas Barklund |
What Is a Meta-Variable in Prolog? |
META |
1988 |
DBLP BibTeX RDF |
|
12 | Bernd Fischer 0002, Jon Whittle 0001 |
An Integration of Deductive Retrieval into Deductive Synthesis. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
deductive retrieval, software engineering, software reuse, program synthesis |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|