Search results for "terms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Adam Liwo, Jaroslaw Pillardy, Cezary Czaplewski, Jooyoung Lee 0002, Daniel R. Ripoll, Malgorzata Groth, Sylwia Rodziewicz-Motowidlo, Rajmund Kazmierkiewicz, Ryszard J. Wawak, Stanislaw Oldziej, Harold A. Scheraga	UNRES: a united-residue force field for energy-based prediction of protein structure - orgin and significance of multibody terms.	RECOMB	2000	DBLP DOI BibTeX RDF
44	Zena M. Ariola, Stefan Blom	Skew and omega-Skew Confluence and Abstract Böhm Semantics.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
41	Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese	A Mobility Calculus with Local and Dependent Types.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
41	Richard Statman, Henk Barendregt	Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (eds.)	Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Paul Klint, Tijs van der Storm, Jurgen J. Vinju	Term Rewriting Meets Aspect-Oriented Programming.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Yoshihito Toyama	Reduction Strategies for Left-Linear Term Rewriting Systems.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	John R. W. Glauert, Delia Kesner, Zurab Khasidashvili	Expression Reduction Systems and Extensions: An Overview.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Hans Zantema	Reducing Right-Hand Sides for Termination.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Jean-Pierre Jouannaud	Higher-Order Rewriting: Framework, Confluence and Termination.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Jan A. Bergstra, Cornelis A. Middelburg	Model Theory for Process Algebra.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Robin Milner	The Spectra of Words.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Detlef Plump	Confluence of Graph Transformation Revisited.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Albert Visser	Löb's Logic Meets the µ-Calculus.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Nachum Dershowitz	Primitive Rewriting.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers	Timing the Untimed: Terminating Successfully While Being Conservative.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik	Finite Equational Bases in Process Algebra: Results and Open Questions.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget	Sharing in the Weak Lambda-Calculus.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Fabio Gadducci, Ugo Montanari	Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Marc Bezem	On the Undecidability of Coherent Logic.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Krzysztof R. Apt	Explaining Constraint Programming.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Rob J. van Glabbeek	A Characterisation of Weak Bisimulation Congruence.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Paul-André Melliès	Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries	Infinitary Rewriting: From Syntax to Semantics.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
39	Yuxin Deng, Catuscia Palamidessi, Jun Pang 0001	Compositional Reasoning for Probabilistic Finite-State Behaviors.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
37	Hassan Aït-Kaci, Andreas Podelski	Functions as Passive Constraints in LIFE.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming
35	Christopher Dozier, Ravi Kondadadi, Khalid Al-Kofahi, Mark Chaudhary, Xi S. Guo	Fast tagging of medical terms in legal text.	ICAIL	2007	DBLP DOI BibTeX RDF	MetaMap, context disambiguation, medical litigation, medical terms, medical text, UMLS
35	Katerina T. Frantzi, Sophia Ananiadou, Hideki Mima	Automatic recognition of multi-word terms: the C-value/NC-value method.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Automatic Term Recognition (ATR), Linguistic and statistical information, Terms, Automatic extraction, Domain independence
35	Atsushi Yoshikawa 0002, Takuya Kojima, Yasuki Saito	Relations between Skill and the Use of Terms - An Analysis of Protocols of the Game of Go.	Computers and Games	1998	DBLP DOI BibTeX RDF	Special terms, Iceberg model, Cognitive science, Go, Expert knowledge
32	Chia-Jung Lee, Ruey-Cheng Chen, Shao-Hang Kao, Pu-Jen Cheng	A term dependency-based approach for query terms ranking.	CIKM	2009	DBLP DOI BibTeX RDF	query term combination, query terms ranking, query formulation
32	Chang Beom Lee, Hoseop Choe, Hyuk Ro Park, Cheolyoung Ock	Extracting the Significant Terms from a Sentence-Term Matrix by Removal of the Noise in Term Usage.	AIRS	2005	DBLP DOI BibTeX RDF	Significant Terms, Removal of Noise, Principal Component Analysis, Singular Value Decomposition, Automatic Summarization
32	Herman Geuvers, Gueorgui I. Jojgov	Open Proofs and Open Terms: A Basis for Interactive Logic.	CSL	2002	DBLP DOI BibTeX RDF	open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving
31	Anastasia Analyti, Yannis Tzitzikas, Nicolas Spyratos	Specifying Valid Compound Terms in Interrelated Faceted Taxonomies.	ER	2009	DBLP DOI BibTeX RDF	interrelated faceted taxonomies, valid compound terms, web search, algebra, dynamic taxonomies
31	Woei-Jyh Lee, Louiqa Raschid, Hassan Sayyadi, Padmini Srinivasan	Exploiting Ontology Structure and Patterns of Annotation to Mine Significant Associations between Pairs of Controlled Vocabulary Terms.	DILS	2008	DBLP DOI BibTeX RDF	controlled vocabulary (CV) terms, generalized association rule mining, support and confidence, life sciences link (LSLink), annotation
31	Juan M. Zamora, Ignacio E. Grossmann	Global Optimization of Heat Exchanger Networks.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Heat exchanger networks, Convex relaxations, Global optimal design, Bilinear terms, Linear fractional terms, Global optimization
31	Dan López de Sa	The over-generalization problem: predicates rigidly signifying the "unnatural".	Synth.	2008	DBLP DOI BibTeX RDF	Over-generalization problem, Natural properties, General terms, Natural kind terms, Predicates, Rigidity
29	Ying Zhang 0048, Fei Huang, Stephan Vogel	Mining translations of OOV terms from the web through cross-lingual query expansion.	SIGIR	2005	DBLP DOI BibTeX RDF	OOV terms, cross-lingual IR, query expansion, automatic translation
29	Ying Zhang, Phil Vines	Detection and translation of OOV terms prior to query time.	SIGIR	2004	DBLP DOI BibTeX RDF	OOV terms, cross-Language IR, query translation
29	Jianjiang Lu, Baowen Xu, Dazhou Kang, Huowang Chen, Hongji Yang	Mining Association Rules with Linguistic Terms.	ICTAI	2003	DBLP DOI BibTeX RDF	incremental updating algorithm, data mining, parallel, association rules, linguistic terms
29	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
27	Lingpeng Yang, Dong-Hong Ji, Li Tang, Zheng-Yu Niu	Chinese information retrieval based on terms and relevant terms.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	document re-ranking, relevant term, information retrieval, query expansion, Term extraction, term clustering
26	Cheng-Zen Yang, Ing-Xiang Chen, Cheng-Tse Hung, Ping-Jung Wu	Improving Hierarchical Taxonomy Integration with Semantic Feature Expansion on Category-Specific Terms.	AIRS	2008	DBLP DOI BibTeX RDF	hierarchical taxonomy integration, semantic feature expansion, category-specific terms, hierarchical thesauri information
26	Massimo Caboara, Lorenzo Robbiano	Families of estimable terms.	ISSAC	2001	DBLP DOI BibTeX RDF	Gröbner bases, border bases, estimable terms, statistics
26	Hiroaki Ohshima, Katsumi Tanaka	Real time extraction of related terms by bi-directional lexico-syntactic patterns from the web.	ICUIMC	2009	DBLP DOI BibTeX RDF	web search, knowledge extraction
26	Tao Liu, Xiaolong Wang 0001, Bingquan Liu, Yuanchao Liu, Minghui Li	Extracting domain-specific terms from unlabeled web documents by bootstrapping and term classifiers.	SMC	2007	DBLP DOI BibTeX RDF
26	Nina Wacholder, David Kirk Evans, Judith Klavans	Automatic identification and organization of index terms for interactive browsing.	JCDL	2001	DBLP DOI BibTeX RDF	natural language processing, indexing, browsing, genre, phrases
26	Raghavendra Udupa, Abhijit Bhole, Pushpak Bhattacharyya	"A term is known by the company it keeps": On Selecting a Good Expansion Set in Pseudo-Relevance Feedback.	ICTIR	2009	DBLP DOI BibTeX RDF	Expansion Terms, Term-Document Matrix, Information Retrieval, Relevance Feedback, Pseudo- relevance Feedback
25	Sergei A. Abramov, Ha Q. Le, Marko Petkovsek	Rational canonical forms and efficient representations of hypergeometric terms.	ISSAC	2003	DBLP DOI BibTeX RDF	efficient representations, hypergeometric terms, canonical forms, rational functions
25	Christoph Schnörr	On Functionals with Greyvalue-Controlled Smoothness Terms for Determining Optical Flow.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	greyvalue-controlled smoothness terms, local motion information, constraint equation, image sequences, optical flow, functionals, uniqueness
24	Guilherme T. de Assis, Alberto H. F. Laender, Altigran Soares da Silva, Marcos André Gonçalves	The impact of term selection in genre-aware focused crawling.	SAC	2008	DBLP DOI BibTeX RDF	focused crawling, web crawling, terms selection
23	Sonia Haiduc, Andrian Marcus	On the Use of Domain Terms in Source Code.	ICPC	2008	DBLP DOI BibTeX RDF
23	Devon Li, Wai Kit Lo, Helen M. Meng	Initial Experiments on Automatic Story Segmentation in Chinese Spoken Documents Using Lexical Cohesion of Extracted Named Entities.	ISCSLP	2006	DBLP DOI BibTeX RDF	Story boundary detection, informative terms extraction, named entities, lexical cohesion
23	David M. Mark, Andrew G. Turk	Landscape Categories in Yindjibarndi: Ontology, Environment, and Language.	COSIT	2003	DBLP DOI BibTeX RDF	Geographic categories, land scape terms, Yindjibarndi, Indigenous Australians, geographic information systems, GIS, natural language, spatial cognition, cultural differences, geographic ontology
21	Maria P. Grineva, Maxim N. Grinev, Dmitry Lizorkin	Extracting key terms from noisy and multitheme documents.	WWW	2009	DBLP DOI BibTeX RDF	wikipedia, semantic similarity, community detection, keywords extraction, graph analysis
21	Hanmin Jung, HeeKwan Koo, Byeong-Hee Lee, Won-Kyung Sung	Acquiring Dominant Compound Terms to Build Korean Domain Knowledge Bases.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	Term Ranking, Term Dominance Trend, Term Dominance Value, Term Extraction
21	Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens 0001	Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
21	Gernot Salzer	The Unification of Infinite Sets of Terms and Its Applications.	LPAR	1992	DBLP DOI BibTeX RDF
21	Ying Zhang, Phil Vines, Justin Zobel	Chinese OOV translation and post-translation query expansion in chinese--english cross-lingual information retrieval.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	OOV terms, post-translation query expansion, HMM, web mining, mutual information, query translations, CLIR, translation disambiguation
21	Victoria Ungureanu	Using certified policies to regulate E-commerce transactions.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Contract terms, Scalability, Enforcement
21	Pascale Fung, Kathleen R. McKeown	A Technical Word- and Term-Translation Aid Using Noisy Parallel Corpora across Language Groups.	Mach. Transl.	1997	DBLP DOI BibTeX RDF	Technical terms, translation aid, noisy corpora, alignment, Chinese
21	Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Tamburini, Fabio Vitali	Of mice and terms: clustering algorithms on ambiguous terms in folksonomies.	SAC	2010	DBLP DOI BibTeX RDF	FolksEngine, INFOMAP-NLP, RDF, folksonomy, wordnet, web search engine, delicious
20	Masashi Yamaguchi, Hiroaki Ohshima, Satoshi Oyama, Katsumi Tanaka	Unsupervised Discovery of Coordinate Terms for Multiple Aspects from Search Engine Query Logs.	Web Intelligence	2008	DBLP DOI BibTeX RDF
20	Jun Wang, Ning Ge	Automatic feature thesaurus enrichment: extracting generic terms from digital gazetteer.	JCDL	2006	DBLP DOI BibTeX RDF	automatic gazetteer updating, digital gazetteer, generic term extraction, correlation analysis
20	Xin Fu, Diane Kelly 0001	Evaluating sources of query expansion terms.	SIGIR	2006	DBLP DOI BibTeX RDF	source of query term, query expansion, query length
20	Didier Caucal	On Infinite Terms Having a Decidable Monadic Theory.	MFCS	2002	DBLP DOI BibTeX RDF
20	Elena I. Bolshakova	Recognition of Author's Scientific and Technical Terms.	CICLing	2001	DBLP DOI BibTeX RDF
20	Katerina T. Frantzi, Sophia Ananiadou, Jun'ichi Tsujii	The C-value/NC-value Method of Automatic Recognition for Multi-Word Terms.	ECDL	1998	DBLP DOI BibTeX RDF
20	Jirí Adámek, Stefan Milius, Jirí Velebil	Semantics of Higher-Order Recursion Schemes.	CALCO	2009	DBLP DOI BibTeX RDF	infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
20	Mehmet Kaya, Reda Alhajj	Utilizing Genetic Algorithms to Optimize Membership Functions for Fuzzy Weighted Association Rules Mining.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	weighted rules, genetic algorithms, data mining, clustering, fuzzy association rules, linguistic terms
20	François Parmentier, Abdel Belaïd	Bibliography references validation using emergent architecture.	ICDAR	1995	DBLP DOI BibTeX RDF	bibliography references validation, emergent architecture, semantic recognition, OCR flow, sub-fields, bibliography reference database, principal terms, concept network, appropriate agents, OCR errors, semantic networks, structured data
20	Lars Wiedenhifer, Hans-Günther Hein, Andreas Dengel 0001	Post-processing of OCR results for automatic indexing.	ICDAR	1995	DBLP DOI BibTeX RDF	OCR result post-processing, inaccurately recognized OCR text, index terms, document quality, character hypothesis lattices, generate-and-test, rule based substitution system, trigram correction, word candidates, elimination routine, German words, classification, classification, indexing, knowledge based systems, experiments, optical character recognition, quality, document image processing, morphology, vocabulary, word recognition, automatic indexing, document archiving
20	Annalisa Bossi, Nicoletta Cocco, Massimo Fabris	Proving Termination of Logic Programs by Exploiting Term Properties.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF	Prolog programs, norm on terms, pre/post specifications, termination
19	Vladimir Pletser	Linear Relations between Numbers of Terms and First Terms of Sums of Consecutive Squared Integers Equal to Squared Integers.	Symmetry	2024	DBLP DOI BibTeX RDF
19	Jilong Zhang, Jin Zhang 0017, Kanliang Wang, Wei Yan	Should doctors use or avoid medical terms? The influence of medical terms on service quality of E-health.	Electron. Commer. Res.	2023	DBLP DOI BibTeX RDF
19	Jui-Hsuan Wu	Proofs as Terms, Terms as Graphs.	APLAS	2023	DBLP DOI BibTeX RDF
19	Juan Carlos Valderrama Zurián, Carlos García-Zorita, Sergio Marugan-Lazaro, Elías Sanz-Casado	Comparison of MeSH terms and KeyWords Plus terms for more accurate classification in medical research fields. A case study in cannabis research.	Inf. Process. Manag.	2021	DBLP DOI BibTeX RDF
19	Zhixue Zhao, Ziqi Zhang 0001, Frank Hopfgartner	SS-BERT: Mitigating Identity Terms Bias in Toxic Comment Classification by Utilising the Notion of "Subjectivity" and "Identity Terms".	CoRR	2021	DBLP BibTeX RDF
19	Bo Yu 0022, Ning Dong 0004	Large-Scale Algebraic Riccati Equations with High-Rank Nonlinear Terms and Constant Terms.	CoRR	2021	DBLP BibTeX RDF
19	Nuhu Yusuf, Mohd Amin Mohd Yunus, Norfaradilla Wahid, Mohd. Najib Mohd. Salleh	A Statistical Linguistic Terms Interrelationship Approach to Query Expansion Based on Terms Selection Value.	ICTA	2020	DBLP DOI BibTeX RDF
19	R. Lakshmi 0003, S. Baskar 0001	Novel term weighting schemes for document representation based on ranking of terms and Fuzzy logic with semantic relationship of terms.	Expert Syst. Appl.	2019	DBLP DOI BibTeX RDF
19	Clemens Grabmayer	Modeling Terms by Graphs with Structure Constraints (Two Illustrations).	TERMGRAPH@FSCD	2018	DBLP DOI BibTeX RDF
19	Samson Yoseph Esayas, Tobias Mahler, Kevin McGillivray	Is a Picture Worth a Thousand Terms? Visualising Contract Terms and Data Protection Requirements for Cloud Computing Users.	ICWE Workshops	2016	DBLP DOI BibTeX RDF
19	Karl J. Stiller, David Parker, Brett Marquard, Adam Chiou, Michael Lincoln, Archie Bockhorst, Albert Bonnema, Steven Kator, Norman Stone	Most Common Allergen Terms in the Departments of Defense and Veterans Affairs: Developing a Baseline Set of Allergen Terms for the C-CDA Using RxNorm "Ingredient" Level Abstraction.	AMIA	2016	DBLP BibTeX RDF
19	Yongqun He, Jie Zheng 0001, Yu Lin	Ontoanimal tools for reusing ontologies, generating and editing ontology terms, and dereferencing ontology terms.	ICBO	2015	DBLP BibTeX RDF
19	Clemens Grabmayer, Jan Rochel	Term Graph Representations for Cyclic Lambda-Terms	TERMGRAPH	2013	DBLP DOI BibTeX RDF
19	Marie-Claude L'Homme, Gabriel Bernier-Colborne	Terms as labels for concepts, terms as lexical units: A comparative analysis in ontologies and specialized dictionaries.	Appl. Ontology	2012	DBLP DOI BibTeX RDF
19	Hidetsugu Nanba, Toshiyuki Takezawa, Kiyoko Uchiyama, Akiko Aizawa	Automatic Translation of Scholarly Terms into Patent Terms Using Synonym Extraction Techniques.	LREC	2012	DBLP BibTeX RDF
19	Tshering C. Dorji, El-Sayed Atlam, Susumu Yata, Masao Fuketa, Kazuhiro Morita, Jun-ichi Aoe	Extraction, selection and ranking of Field Association (FA) Terms from domain-specific corpora for building a comprehensive FA terms dictionary.	Knowl. Inf. Syst.	2011	DBLP DOI BibTeX RDF
19	Hidetsugu Nanba, Hideaki Kamaya, Toshiyuki Takezawa, Manabu Okumura, Akihiro Shinmori, Hidekazu Tanigawa	Automatic Translation of Scholarly Terms into Patent Terms.	Current Challenges in Patent Information Retrieval	2011	DBLP DOI BibTeX RDF
19	Xianghua Fu, LianDong Liu, TianXue Gong, Lan Tao	Improving Text Classification with Concept Index Terms and Expansion Terms.	ISNN (3)	2011	DBLP DOI BibTeX RDF
19	Hidetsugu Nanba, Hideaki Kamaya, Toshiyuki Takezawa, Manabu Okumura, Akihiro Shinmori, Hidekazu Tanigawa	Automatic translation of scholarly terms into patent terms.	PaIR@CIKM	2009	DBLP DOI BibTeX RDF
19	Murdoch James Gabbay, Dominic P. Mulligan	Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.	LFMTP	2009	DBLP DOI BibTeX RDF
19	Ying-Hsang Liu, Nina Wacholder	Do human-developed index terms help users? An experimental study of MeSH terms in biomedical searching.	ASIST	2008	DBLP DOI BibTeX RDF
19	Brian Green, David Martin, Francis Cave	ONIX for licensing terms: Standards for the electronic communication of usage terms.	Inf. Serv. Use	2007	DBLP DOI BibTeX RDF
19	Paul Fabry, Robert H. Baud, Anita Burgun, Christian Lovis	Amplification of Terminologia anatomica by French language terms using Latin terms matching algorithm: A prototype for other language.	Int. J. Medical Informatics	2006	DBLP DOI BibTeX RDF
19	Joe Kushner	Technology and Business Terms in Detail (A review of Dictionary of E-Business: A Definitive Guide to Technology and Business Terms, second edition by Francis Botto).	IEEE Distributed Syst. Online	2003	DBLP BibTeX RDF
19	Richard Statman, Henk Barendregt	Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
19		Unfair contract terms directive: Suppliers beware: Implementation of the unfair contract terms directive in Europe.	Comput. Law Secur. Rev.	1995	DBLP DOI BibTeX RDF
19	Marc Bezem	Strong normalization of barrecursive terms without using infinite terms.	Arch. Math. Log.	1985	DBLP DOI BibTeX RDF
19	J. A. Esrom	The Software Catalog, Minicomputers, produced from the International Software Database Elsevier, New York, Fall 1983, x + 780 pp., glossary of terms ($95)The Software Catalog, Microcomputers, produced from the International Software Database Elsevier, New York, Fall 1983, xiv+ 1020 pp., glossary of terms ($69).	Robotica	1984	DBLP DOI BibTeX RDF