|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1089 occurrences of 770 keywords
|
|
|
Results
Found 3703 publication records. Showing 3703 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Andrew W. Appel |
Intensional Equality ;=) for Continuations. |
ACM SIGPLAN Notices |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Richard B. Scherl |
Equality and Constrained Resolution. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Geoffrey D. Alexander, David A. Plaisted |
Proving Equality Theorems with Hyper-Linking. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Joseph A. Goguen, José Meseguer 0001 |
Models and Equality for Logical Programming. |
TAPSOFT, Vol.1 |
1987 |
DBLP DOI BibTeX RDF |
|
33 | Vincent J. Digricoli, Malcolm C. Harrison |
Equality-based binary resolution. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Vilém Novák |
EQ-Algebras in Progress. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality |
31 | Javier Álvez, Paqui Lucio, Fernando Orejas |
Constructive negation by bottom-up computation of literal answers. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
bottom-up operators, equality constraint solving, implementation, operational semantics, constructive negation |
31 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
31 | Radim Belohlávek |
Birkhoff variety theorem and fuzzy logic. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy logic, Variety, Universal algebra, Fuzzy equality |
31 | Anna Formica |
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
constraint satisfiability (consistency), recursive schemas, axioms of infinity, equality constraints, object-oriented databases |
31 | Peter Grogono, Markku Sakkinen |
Copying and Comparing: Problems and Solutions. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
complex object structures, cloning, equality, Copying |
31 | Byoungcheon Lee, Kwangjo Kim |
Secure Matchmaking Protocol. |
ICISC |
2000 |
DBLP DOI BibTeX RDF |
proving the equality or inequality of two discrete logarithms, finding collisions without decryption, public commitment, matchmaking, secure multiparty computation, proof of knowledge |
29 | Vincent Siles, Hugo Herbelin |
Equality Is Typable in Semi-full Pure Type Systems. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Pure Type Systems, Judgmental Equality |
29 | Anders Forsgren |
Equality-Constrained Nonlinear Programming: KKT Necessary Optimality Conditions. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Equality-constrained optimization, KKT necessary optimality conditions |
29 | Jiayang Wang, Lanlin Peng |
Research on Expression of Rough Equality Sets. |
PACIIA (1) |
2008 |
DBLP DOI BibTeX RDF |
rough equality, rough set, fuzzy set, upper approximation, lower approximation |
29 | Michael D. Adams 0001, R. Kent Dybvig |
Efficient nondestructive equality checking for trees and graphs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
dfa equivalence, eq hash tables, scheme, equality, union-find |
29 | Darko Marinov, Robert O'Callahan |
Object equality profiling. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
object equality, object mergeability, space savings, profiling, Java language, profile-guided optimization |
28 | Kouji Tahata, Sadao Tomizawa |
Generalized marginal homogeneity model and its relation to marginal equimoments for square contingency tables with ordered categories. |
Adv. Data Anal. Classif. |
2008 |
DBLP DOI BibTeX RDF |
JEL Classification C39 |
28 | Fritz Henglein |
Generic discrimination: sorting and paritioning unshared data in linear time. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order |
28 | Pierre Fraigniaud, Nicolas Nisse |
Connected Treewidth and Connected Graph Searching. |
LATIN |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Lutz Maicher |
Topic Map Exchange in the Absence of Shared Vocabularies. |
TMRA |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Markus Müller-Olm, Oliver Rüthing, Helmut Seidl |
Checking Herbrand Equalities and Beyond. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Randal E. Bryant, Steven M. German, Miroslav N. Velev |
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
processor verfication, decision procedures, uninterpreted functions |
28 | Miroslav N. Velev |
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
28 | László Babai, Peter G. Kimmel |
Randomized Simultaneous Messages: Solution of a Problem of Yao in Communication Complexity. |
CCC |
1997 |
DBLP DOI BibTeX RDF |
randomized simultaneous messages, two-player communication model, deterministic SM complexity, quadratic reduction, lower bound proof, computational complexity, communication complexity, linear algebra |
28 | Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker |
Abstracting s-semantincs Using A Model-Theoretic Approach. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Gerd G. Hillebrand, Paris C. Kanellakis |
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Zabel |
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Oussama Kanoun, Florent Lamiraux, Pierre-Brice Wieber, Fumio Kanehiro, Eiichi Yoshida, Jean-Paul Laumond |
Prioritizing linear equality and inequality systems: Application to local motion planning for redundant robots. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Florent R. Madelaine, Barnaby Martin |
The Complexity of Positive First-order Logic without Equality. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
Ground Interpolation for the Theory of Equality. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001 |
Equality and hashing for (almost) free: Generating implementations from abstraction functions. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Stephanus Daniel Handoko, Chee Keong Kwoh 0001, Yew-Soon Ong |
Classification-Assisted Memetic Algorithms for Equality-Constrained Optimization Problems. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Igor Vytyaz, Pavan Kumar Hanumolu, Un-Ku Moon, Kartikeya Mayaram |
Periodic Steady-State Analysis Augmented with Design Equality Constraints. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines Using Domains with Equality Tests. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Abel 0001, Thierry Coquand, Peter Dybjer |
Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Peter Baumgartner 0001, Ulrich Furbach, Björn Pelzer |
Hyper Tableaux with Equality. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly |
System F with type equality coercions. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
advanced type features, typed intermediate language |
26 | Igor Gammer, Eyal Amir |
Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Grigore Rosu |
Equality of streams is a Pi0 over 2-complete problem. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
infinite structures, streams, algebraic specification |
26 | Gatis Midrijanis |
A Polynomial Quantum Query Lower Bound for the Set Equality Problem. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Margarita V. Korovina |
Gandy's Theorem for Abstract Structures without the Equality Test. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Boris Konev, Anatoli Degtyarev, Michael Fisher 0001 |
Handling Equality in Monodic Temporal Resolution. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Rosangela Ballini, Fernando A. C. Gomide |
Gradient Projection Method and Equality Index in Recurrent Neural Fuzzy Network. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom, Michel Latteux |
Languages Defined by Generalized Equality Sets. |
FCT |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Fahiem Bacchus, Jonathan Winter |
Effective Preprocessing with Hyper-Resolution and Equality Reduction. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Akira Hirose, Kazuhiko Nakazawa |
Analog continuous-time recurrent decision circuit with high signal-voltage symmetry and delay-time equality. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ariane Péladan-Germa |
Testing Equality in Differential Ring Extensions Defined by PDE's and Limit Conditions. |
Appl. Algebra Eng. Commun. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Hans de Nivelle, Ian Pratt-Hartmann |
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Namhyun Hur, James H. Davenport |
An exact real algebraic arithmetic with equality determination. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Harald Ganzinger, Hans de Nivelle |
A Superposition Decision Procedure for the Guarded Fragment with Equality. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Anatoli Degtyarev, Andrei Voronkov |
Handling Equality in Logic Programming via Basic Folding. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum |
The Complexity of Finding Replicas Using Equality Tests. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Bernhard Beckert, Reiner Hähnle |
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Marianne Winslett, Seng-cho Timothy Chou |
Updates with Equality: Beyond the Herbrand Universe Assumption. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Michael Hanus |
Compiling Logic Programs with Equality. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Yusuf Ozturk, Lawrence J. Henschen |
Hyper Resolution and Equality Axioms without Function Substitutions. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Georg Rehm, Andy Way (eds.) |
European Language Equality - A Strategic Agenda for Digital Language Equality |
|
2023 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Fish, Luke Stark |
It's Not Fairness, and It's Not Fair: The Failure of Distributional Equality and the Promise of Relational Equality in Complete-Information Hiring Games. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Fish, Luke Stark |
It's Not Fairness, and It's Not Fair: The Failure of Distributional Equality and the Promise of Relational Equality in Complete-Information Hiring Games. |
EAAMO |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Bharathi B, Dhanya Srinivasan, Josephine Varsha, Thenmozhi Durairaj, Senthil Kumar B |
SSNCSE_NLP@LT-EDI-ACL2022: Hope Speech Detection for Equality, Diversity and Inclusion using sentence transformers. |
LT-EDI |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Muskaan Singh, Petr Motlícek |
IDIAP Submission@LT-EDI-ACL2022 : Hope Speech Detection for Equality, Diversity and Inclusion. |
LT-EDI |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Vishesh Gupta, Ritesh Kumar, Rajendra Pamula |
IIT Dhanbad @LT-EDI-ACL2022- Hope Speech Detection for Equality, Diversity, and Inclusion. |
LT-EDI |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Bharathi Raja Chakravarthi, Vigneshwaran Muralidaran, Ruba Priyadharshini, Subalalitha Chinnaudayar Navaneethakrishnan, John P. McCrae, Miguel Ángel García, Salud María Jiménez Zafra, Rafael Valencia-García, Prasanna Kumar Kumaresan, Rahul Ponnusamy, Daniel García-Baena, José Antonio García-Díaz |
Overview of the Shared Task on Hope Speech Detection for Equality, Diversity, and Inclusion. |
LT-EDI |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Praveenkumar Vijayakumar, Prathyush S, Aravind P, Angel Suseelan, Rajalakshmi Sivanaiah, S. Milton Rajendram, T. T. Mirnalinee |
SSN_ARMM@ LT-EDI -ACL2022: Hope Speech Detection for Equality, Diversity, and Inclusion Using ALBERT model. |
LT-EDI |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Nsrin Ashraf, Mohamed Taha, Ahmed Abd El-Fattah, Hamada A. Nayel |
NAYEL @LT-EDI-ACL2022: Homophobia/Transphobia Detection for Equality, Diversity, and Inclusion using SVM. |
LT-EDI |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Alis Wiken Wilson, J. David Patón-Romero |
Gender Equality in Tech Entrepreneurship: A Systematic Mapping Study. |
GE@ICSE |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Koehler 0005, Phil Trinder, Michel Steuwer |
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
24 | Pankaj Singh, Prince Kumar, Pushpak Bhattacharyya |
CFILT IIT Bombay@LT-EDI-EACL2021: Hope Speech Detection for Equality, Diversity, and Inclusion using Multilingual Representation fromTransformers. |
LT-EDI@EACL |
2021 |
DBLP BibTeX RDF |
|
24 | Nikhil Ghanghor, Rahul Ponnusamy, Prasanna Kumar Kumaresan, Ruba Priyadharshini, Sajeetha Thavareesan, Bharathi Raja Chakravarthi |
IIITK@LT-EDI-EACL2021: Hope Speech Detection for Equality, Diversity, and Inclusion in Tamil , Malayalam and English. |
LT-EDI@EACL |
2021 |
DBLP BibTeX RDF |
|
24 | Fazlourrahman Balouchzahi, Aparna B. K, H. L. Shashirekha |
MUCS@LT-EDI-EACL2021: CoHope-Hope Speech Detection for Equality, Diversity, and Inclusion in Code-Mixed Texts. |
LT-EDI@EACL |
2021 |
DBLP BibTeX RDF |
|
24 | Bharathi Raja Chakravarthi, Vigneshwaran Muralidaran |
Findings of the Shared Task on Hope Speech Detection for Equality, Diversity, and Inclusion. |
LT-EDI@EACL |
2021 |
DBLP BibTeX RDF |
|
24 | Junaida M. K, Ajees A. P |
KU_NLP@LT-EDI-EACL2021: A Multilingual Hope Speech Detection for Equality, Diversity, and Inclusion using Context Aware Embeddings. |
LT-EDI@EACL |
2021 |
DBLP BibTeX RDF |
|
24 | Hongxing Liu |
On categorical equivalences of equality algebras and monadic equality algebras. |
Log. J. IGPL |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Susanne Buehrer, Evanthia Kalpazidu Schmidt, Sybille Reidl, Rachel Palmen, Dora Groo |
Evaluation Framework for Promoting Gender Equality in Research and Innovation: How to define suitable indicators to evaluate gender equality effects in R&I systems? |
ISSI |
2019 |
DBLP BibTeX RDF |
|
24 | Haitao Che, Haibin Chen, Meixia Li |
A new simultaneous iterative method with a parameter for solving the extended split equality problem and the extended split equality fixed point problem. |
Numer. Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
24 | John Reeves |
Gender Equality in Software Engineering. |
GE@ICSE |
2018 |
DBLP BibTeX RDF |
|
24 | Hélène de Ribaupierre, Kathryn E. Jones, Fernando Loizides, Yulia Cherdantseva |
Towards Gender Equality in Software Engineering: The NSA Approach. |
GE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Amel Bennaceur, Ampaeli Cano, Lilia Georgieva, Mariam Kiran, Maria Salama, Poonam Yadav |
Issues in Gender Diversity and Equality in the UK. |
GE@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Rilla Khaled |
Equality = Inequality: Probing Equality-Centric Design and Development Methodologies. |
INTERACT (2) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Miroslav N. Velev, Ping Gao 0002 |
Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Erwin Ooghe, Erik Schokkaert, Dirk Van de gaer |
Equality of Opportunity versus Equality of Opportunity Sets. |
Soc. Choice Welf. |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Yoav Rodeh, Ofer Strichman |
Building small equality graphs for deciding equality logic with uninterpreted functions. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Martine De Cock, Etienne E. Kerre |
Approximate equality is no fuzzy equality. |
EUSFLAT Conf. |
2001 |
DBLP BibTeX RDF |
|
24 | Wayne Snyder, Christopher Lynch |
An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality. |
CTRS |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Franz-Josef Brandenburg |
Representations of Language Families by Homomorphic Equality Operations and Generalized Equality Sets. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Karl-Hans Bläsius |
Equality Reasoning with Equality-paths. |
GWAI |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Chung-Tsen Tsao |
The revised algorithms of fuzzy variance and an application to portfolio selection. |
Soft Comput. |
2010 |
DBLP DOI BibTeX RDF |
Fuzzy variance, Fuzzy standard deviation, Requisite equality constraint, Fuzzy arithmetic |
24 | Meena Dilip Singh, P. Radha Krishna 0001, Ashutosh Saxena |
A cryptography based privacy preserving solution to mine cloud data. |
Bangalore Compute Conf. |
2010 |
DBLP DOI BibTeX RDF |
encrypted data, private equality test, cryptography, privacy preserving data mining |
24 | Wolfgang Jeltsch |
Generic record combinators with static type checking. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction |
24 | Foto N. Afrati, Phokion G. Kolaitis |
Repair checking in inconsistent databases: algorithms and complexity. |
ICDT |
2009 |
DBLP DOI BibTeX RDF |
coNP-complete problem, equality-generating dependencies, repair checking, tuple-generating dependencies, weakly acyclic set, polynomial time, consistent query answering, inconsistent databases, database repairs |
24 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Membership and equality constraints, compact lists, sets, lists, multisets |
24 | Andrey Paskevich |
Connection Tableaux with Lazy Paramodulation. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality |
24 | Zhen Ming Ma, Wei Yang 0036, Qingjun Ren |
A Common Generalization of Smooth Group and Vague Group. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
J-fuzzy relation, I-fuzzy equality, J-fuzzy function, GF-fuzzy group |
24 | Bing Yang, Huaping Hu, Xiangwen Duan, Shiyao Jin |
An Intelligent Network-Warning Model with Strong Survivability. |
CANS |
2007 |
DBLP DOI BibTeX RDF |
Strong Survivability, Network-Warning, Intelligence, Equality |
24 | Yutaka Jitsumatsu, Tohru Kohda |
Chip-Asynchronous Version of Welch Bound: Gaussian Pulse Improves BER Performance. |
SETA |
2006 |
DBLP DOI BibTeX RDF |
Welch bound equality (WBE) sequence, total squared correlation (TSC), pulse shaping filter, asynchronous DS/CDMA system |
24 | Javier Álvez, Paqui Lucio |
Equational Constraint Solving Via a Restricted Form of Universal Quantification. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
constraint satisfaction, equality, solver, answer, term algebra |
24 | Ronald W. Butler, Andrew T. A. Wood |
Approximation of power in multivariate analysis. |
Stat. Comput. |
2005 |
DBLP DOI BibTeX RDF |
block independence, covariance equality, general linear hypothesis, Laplace approximation, saddlepoint approximation, power function, hypergeometric functions |
24 | Tim Sheard |
Languages of the future. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
equality constrained types, formal reasoning systems, staged languages, static constraint management, formal methods |
24 | Antti Syvänen, Mikko Ahonen, Anu Jäppinen, Marika Pehkonen, Hanne Turunen, Teija Vainio |
Accessibility and Mobile Learning. |
eTRAIN |
2003 |
DBLP DOI BibTeX RDF |
equality issues, mobile learning, informal learning |
Displaying result #101 - #200 of 3703 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|